Hello

Is it possible to use Toplevel's print_value function in a program
linked against toplevellib.cma?

The function has the following signature:

val print_value: Env.t -> Obj.t -> formatter -> Types.type_expr -> unit

I can't find out how to get a value of type Types.type_expr... Is there
any way user code can do this?

Thanks in advance,
Andre