package lambda

  1. Overview
  2. Docs

Module Lambda.BoolSource

Sourceexception NotABoolTerm

raised whenever trying to convert a non boolean term to boolean

Sourceval ltrue : L.term

true lambda term

Sourceval lfalse : L.term

false lambda term

Sourceval to_bool : L.term -> bool

to_bool t converts a lambda term t to boolean

Sourceval of_bool : bool -> L.term

of_bool b converts a boolean t to a lambda term

Sourceval is_bool : L.term -> bool

is_bool t returns true if t is a boolean lambda term

OCaml

Innovation. Community. Security.