package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Build.Enum`Source

Sourceval empty : Operator.Function_symbol.enum t

Sourceval unknown : level:int -> Operator.Function_symbol.enum t

include Operator.ENUM_FORWARD
  with module Arity := Operator.Forward_Arity
   and type boolean = Operator.Function_symbol.boolean t
   and type enum = Operator.Function_symbol.enum t

Sourcetype boolean = Operator.Function_symbol.boolean t

Sourcetype enum = Operator.Function_symbol.enum t

Sourceval caseof : case:int -> (enum, boolean) Operator.Forward_Arity.ar1

Boolean operation to check if the enumeration value is in case case

Sourceval enum_const : case:int -> enum Operator.Forward_Arity.ar0

Constant enum value

package codex

Module Build.EnumSource

Module `Build.Enum`Source