Dune fmt

formalsec · Jul 25, 2024 · dbf905b · dbf905b
1 parent e2d8fec
commit dbf905b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/lib/ty.mli b/lib/ty.mli
@@ -179,10 +179,15 @@ val pp_logic : Fmt.formatter -> logic -> unit
 val compare : t -> t -> int
 
 val unop_equal : unop -> unop -> bool
+
 val binop_equal : binop -> binop -> bool
+
 val relop_equal : relop -> relop -> bool
+
 val triop_equal : triop -> triop -> bool
+
 val cvtop_equal : cvtop -> cvtop -> bool
+
 val naryop_equal : naryop -> naryop -> bool
 
 val equal : t -> t -> bool