package codex

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Sig.Convert_Boolean_Forward`Source

module C : Convert_Contexts

module D : With_Boolean_Forward with module Context = C.To

Sourcemodule C : sig ... end

Sourcemodule F : sig ... end

include sig ... end

Sourcetype boolean = F.boolean

Sourceval not : (boolean, boolean) C.To_Arity.ar1

Sourceval (&&) : (boolean, boolean, boolean) C.To_Arity.ar2

Sourceval (||) : (boolean, boolean, boolean) C.To_Arity.ar2

Sourceval true_ : boolean C.To_Arity.ar0

Sourceval false_ : boolean C.To_Arity.ar0