Module Namespace.Skolem

val fresh : ?base:string -> unit -> string