Up
–
codex
»
Transfer_functions
» Choice
Module
Transfer_functions.Choice
type
t
=
private
int
val
fresh :
level
:int
->
t
val
get_level :
t
->
int