package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

sha256=439b1dce07c86e914d1ebf1712c5581418314b0c8d13594f27a698b1d25fe272

md5=5cf58d4ed4eacbe6f330e9d2378ef5c6

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

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.

On This Page