diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-06-23 23:53:26 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-06-23 23:53:26 -0300 |
| commit | c284fcd570342c31bc21169960579a20a763e32e (patch) | |
| tree | ce7485055116d794c55090ad0978e0b3f5ff4c2a /lib/prl/ast.ml | |
| parent | b81586ee4a0543a5f9866586c78dccdd6328934a (diff) | |
| download | Sakura-c284fcd570342c31bc21169960579a20a763e32e.tar.gz Sakura-c284fcd570342c31bc21169960579a20a763e32e.zip | |
Format
Diffstat (limited to 'lib/prl/ast.ml')
| -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 = |