open Sexplib.Std

type function_predicate =
  { name: string;
    schema: (string * string) list;
    symbol: string;
    purity: Conventions.Purity.t;
    cardinality: Conventions.Cardinality.t }
[@@deriving sexp]

type statement =
  | LoadLibrary of string
  | DefineFunctionPredicate of function_predicate
  | ListFunctionPredicates
[@@deriving sexp]