Up
–
alt-ergo-lib
»
AltErgoLib
»
Id
»
Namespace
» S
Module type
Namespace.S
val
fresh :
?base
:string
->
unit
->
string