Lang.Boolean
include Codex.Transfer_functions.Boolean_Forward
with module Arity := Monadic_Arity
and type boolean = boolean
type boolean = boolean
val not : (boolean, boolean) Monadic_Arity.ar1
val (&&) : (boolean, boolean, boolean) Monadic_Arity.ar2
val (||) : (boolean, boolean, boolean) Monadic_Arity.ar2
val true_ : boolean Monadic_Arity.ar0
val false_ : boolean Monadic_Arity.ar0