Hi,
typing an identifier in the REPL gives its type:
print;
val it = fn: string -> unit
is there a polyml function that gives back a string of the type without the fn: prefix? I would like to use it in documentation. I have taken a look in the PolyML.NameSpace structure but did not find such a function.
- Gergely