package prbnmcn-basic-structures

  1. Overview
  2. Docs
package prbnmcn-basic-structures
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Lang.BoolSource

Sourcetype 'a m = 'a
Sourceval true_ : bool m
Sourceval false_ : bool m
Sourceval (||) : bool m -> bool m -> bool m
Sourceval (&&) : bool m -> bool m -> bool m
Sourceval dispatch : bool m -> (bool -> 'a m) -> 'a m

dispatch cond branches constructs an if-then-else branching expression.