Up – Package index » alba » Library alba.albalib » Albalib » Term_printer » String_print

Module `Term_printer.String_print`Source

Pretty printer which prints terms in a context into a string.

Parameters

module G : GAMMA

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

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