Reformat mli files.

lib/combinat.mli

@@ -2,17 +2,17 @@ open Core
 
 (** Implementations of combinatorics routines. *)
 
+val m_partition : int -> int -> Array.Int.t Sequence.t
 (** Compute the partitions of an integer {i n} into {i m} parts. See
     (Knuth 3b, pg. 2). *)
-val m_partition : int -> int -> Array.Int.t Sequence.t
 
+val m_partition_with_zeros : int -> int -> Array.Int.t Sequence.t
 (** Compute the partitions of an integer {i n} into {i m} parts,
     including partitions where some elements are zero. *)
-val m_partition_with_zeros : int -> int -> Array.Int.t Sequence.t
 
-(** Compute the unique permutations of an array. See (Knuth 2b, pg. 1). *)
 val permutations : Array.Int.t -> Array.Int.t Sequence.t
+(** Compute the unique permutations of an array. See (Knuth 2b, pg. 1). *)
 
 val permutations_poly : 'a Array.t -> 'a Array.t Sequence.t
-  
+
 val combinations_with_replacement : int -> 'a list -> 'a list list

lib/eval.mli

@@ -2,12 +2,10 @@ open Core
 open Collections
 
 exception RuntimeError of Error.t
+
 exception HitRecursionLimit
 
 val eval : ?recursion_limit:int -> Value.t Ctx.t -> Expr.t -> Value.t
-                                                                
+
 val partial_eval :
-  ?recursion_limit:int
-  -> ?ctx:ExprValue.t Ctx.t
-  -> ExprValue.t
-  -> ExprValue.t
+  ?recursion_limit:int -> ?ctx:ExprValue.t Ctx.t -> ExprValue.t -> ExprValue.t

lib/example.mli

@@ -1,18 +1,26 @@
 open Core
-
 open Collections
 
 type t = Expr.t * Expr.t
 
 include Sexpable.S with type t := t
 
 val compare : t -> t -> int
+
 val of_string_exn : string -> t
+
 val of_string : string -> t Or_error.t
+
 val to_string : t -> string
+
 val to_triple : t -> Ast.id * Ast.expr list * Expr.t
+
 val name : t list -> Ast.id
+
 val split : t list -> (string * t list) list
+
 val signature : ?ctx:Infer.Type.t Ctx.t -> t list -> Infer.Type.t
+
 val to_vctx : t -> string list -> Expr.t Ctx.t
+
 val check : (t * Expr.t Ctx.t) list -> bool

lib/example_deduction.mli

@@ -1,12 +1,13 @@
 open Core
-
 open Synthesis_common
 open Collections
 
 type example = ExprValue.t list * ExprValue.t [@@deriving sexp]
 
 val examples_of_file : string -> example list
+
 val examples_of_channel : In_channel.t -> example list
 
 val timer : Timer.t
+
 val push_specs : Deduction.t

lib/exprValue.mli

@@ -15,13 +15,21 @@ type t =
   | `Unit ]
 
 include Binable.S with type t := t
+
 include Sexpable.S with type t := t
+
 include Comparable.S with type t := t
 
 val compare : t -> t -> int
+
 val to_string : t -> String.t
+
 val of_expr : Expr.t -> t
+
 val of_value : Value.t -> t
+
 val to_expr_exn : t -> Expr.t
+
 val to_value_exn : t -> Value.t
+
 val to_value : t -> Value.t Or_error.t