diff options
Diffstat (limited to 'lib/prl/ast.ml')
| -rw-r--r-- | lib/prl/ast.ml | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/lib/prl/ast.ml b/lib/prl/ast.ml deleted file mode 100644 index ab63c31..0000000 --- a/lib/prl/ast.ml +++ /dev/null @@ -1,15 +0,0 @@ -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] |