Module Lang.Boolean

include Codex.Transfer_functions.Boolean_Forward with module Arity := Monadic_Arity and type boolean = boolean
type boolean = boolean