package codex

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `Convert_Boolean_Forward.D`

type boolean

module Context = C.To

module Boolean_Forward : 
  Operator.BOOLEAN_FORWARD
    with module Arity := Context_Arity_Forward(Context)
     and type boolean := boolean