acgtk.svg_rendering
Svg_rendering.Show_exts
acgtk.acgData
acgtk.containers
acgtk.datalogLib
acgtk.dump
acgtk.grammars
acgtk.logic
acgtk.magicRewriting
acgtk.scripting
acgtk.utilsLib
module type Show_text_sig = sig ... end
module type Show_colors_sig = sig ... end
type pp = Logic.Lambda.Lambda.term -> int -> int -> (Logic.Lambda.Lambda.env * Logic.Lambda.Lambda.env) -> Logic.Lambda.Lambda.consts -> Diagram.diagram * bool
type open_pp = pp -> pp
type open_pp_mod = open_pp -> open_pp
module type Show_embellish_sig = sig ... end