prbnmcn-basic-structures

Base package for prbnmcn-* packages
Library prbnmcn-basic-structures
Module type Basic_structures . Basic_intf . Lang . Bool
type 'a 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.