package codex

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `Convert_Integer_Forward.D`

type boolean

type integer

module Context = C.To

module Integer_Forward : 
  Operator.INTEGER_FORWARD
    with module Arity := Context_Arity_Forward(Context)
     and type boolean := boolean
     and type integer := integer

package codex

Parameter Convert_Integer_Forward.D

Parameter `Convert_Integer_Forward.D`