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