Up – Package index » alba » Library alba.albalib » Albalib » Builder » Print

Module `Builder.Print`Source

Parameters

module P : Fmlib.Pretty_printer.SIG

Signature

Sourceval description : problem_description -> P.t