diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/prl/ast.ml | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/lib/prl/ast.ml b/lib/prl/ast.ml index 1969da6..ab63c31 100644 --- a/lib/prl/ast.ml +++ b/lib/prl/ast.ml @@ -1,12 +1,11 @@ open Sexplib.Std -type function_predicate = { - name : string; - schema : (string * string) list; - symbol : string; - purity : Conventions.Purity.t; - cardinality : Conventions.Cardinality.t; -} +type function_predicate = + { name: string; + schema: (string * string) list; + symbol: string; + purity: Conventions.Purity.t; + cardinality: Conventions.Cardinality.t } [@@deriving sexp] type statement = |