diff --git a/src/lib/EDSL.mli b/src/lib/EDSL.mli index af4beff..3f199f9 100644 --- a/src/lib/EDSL.mli +++ b/src/lib/EDSL.mli @@ -38,16 +38,18 @@ val if_then_else : bool t -> unit t -> unit t -> unit t val if_then : bool t -> unit t -> unit t +val seq : unit t list -> unit t +(** Sequence a list of expressions into an expression. *) + val if_seq: t:unit t list -> ?e:unit t list -> bool t -> unit t -(** [condition c ~t ~e] is an alternate API for {!if_then_else} (when +(** [if_seq c ~t ~e] is an alternate API for {!if_then_else} (when [?e] is provided) or {!if_then} (otherwise) that assumes “then” and “else” bodies to be lists for {!seq} construct. *) -val seq : unit t list -> unit t val not : bool t -> bool t val file_exists : string t -> bool t