package codex

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module SVA.Enum_ForwardSource

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