package codex

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

Module NonRelationalDomain.Enum_Forward

val caseof : case:int -> (enum, boolean) Domain_Arity.ar1
val enum_const : case:int -> enum Domain_Arity.ar0