Skip to content

Commit

Permalink
Fix documentation and oredering in EDSL.mli
Browse files Browse the repository at this point in the history
Cf. comments in PR #11.
  • Loading branch information
smondet committed Dec 19, 2016
1 parent 0e92a95 commit 728ea4f
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions src/lib/EDSL.mli
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 728ea4f

Please sign in to comment.