package alba

  1. Overview
  2. Docs

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.

OCaml

Innovation. Community. Security.