package alba

  1. Overview
  2. Docs
package alba
Legend:
Library
Module
Module type
Parameter
Class
Class type

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

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.