Up – Package index » alba » Library alba.albalib » Albalib » Context » Pretty

Module `Context.Pretty`Source

Parameters

module P : Fmlib.Pretty_printer.SIG

Signature

Sourceval print : Term.t -> t -> P.t