package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Make.Boolean_Forward`Source

Sourceval not : (boolean, boolean) Sig.Context_Arity_Forward(Context).ar1

Sourceval (&&) : (boolean, boolean, boolean) Sig.Context_Arity_Forward(Context).ar2

Sourceval (||) : (boolean, boolean, boolean) Sig.Context_Arity_Forward(Context).ar2

Sourceval true_ : boolean Sig.Context_Arity_Forward(Context).ar0

Sourceval false_ : boolean Sig.Context_Arity_Forward(Context).ar0