From c284fcd570342c31bc21169960579a20a763e32e Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Tue, 23 Jun 2026 23:53:26 -0300
Subject: Format

---
 lib/prl/ast.ml | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

(limited to 'lib/prl/ast.ml')

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 =
-- 
cgit v1.2.3