From da5d51c7e69d21dc40927abc32886130aa91ae15 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Tue, 8 Oct 2024 18:02:31 +0200 Subject: [PATCH] Too long lines --- src/lib/structures/ty.mli | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/src/lib/structures/ty.mli b/src/lib/structures/ty.mli index dbd03cd4a..e56013129 100644 --- a/src/lib/structures/ty.mli +++ b/src/lib/structures/ty.mli @@ -109,7 +109,10 @@ module Set : Set.S with type elt = t (** Sets of types *) -val assoc_destrs : Dolmen.Std.Expr.term_cst -> adt_constr list -> (Dolmen.Std.Expr.term_cst * t) list +val assoc_destrs : + Dolmen.Std.Expr.term_cst -> + adt_constr list -> + (Dolmen.Std.Expr.term_cst * t) list (** [assoc_destrs cons cases] returns the list of destructors associated with the constructor [cons] in the ADT defined by [cases]. @raises Not_found if the constructor is not in the given list. *) @@ -165,8 +168,11 @@ val text : t list -> Dolmen.Std.Expr.ty_cst -> t given. *) val t_adt : - ?body:((Dolmen.Std.Expr.term_cst * (Dolmen.Std.Expr.term_cst * t) list) list) option -> - Dolmen.Std.Expr.ty_cst -> t list -> t + ?body:((Dolmen.Std.Expr.term_cst * + (Dolmen.Std.Expr.term_cst * t) list) list) option -> + Dolmen.Std.Expr.ty_cst -> + t list -> + t (** Create an algebraic datatype. The body is a list of constructors, where each constructor is associated with the list of its destructors with their respective types. If [body] is none,