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
