acgtk.utilsLib
UtilsLib.MessageMg
acgtk.acgData
acgtk.containers
acgtk.datalogLib
acgtk.dump
acgtk.grammars
acgtk.logic
acgtk.magicRewriting
acgtk.scripting
acgtk.svg_rendering
type location = Lexing.position * Lexing.position
type context = {
file : string option;
loc : location option;
}
module type MSG = sig ... end
module Make (M : MSG) : sig ... end