alba

Alba compiler
IN THIS PACKAGE

Parameters

module G : GAMMA

Signature

val string_of_term : Term.t -> G.t -> string

string_of_term term gamma. Pretty print term in the context gamma into a string.