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