Make.4-B
type 'a m
= 'a Repr.m
val true_ : bool m
val false_ : bool m
val (||) : bool m -> bool m -> bool m
val (&&) : bool m -> bool m -> bool m
val dispatch : bool m -> (bool -> 'a m) -> 'a m
dispatch cond branches constructs an if-then-else branching expression.
dispatch cond branches