alt-ergo-parsers
AltErgoParsers.Parsers_loader
val load : unit -> unit
Dynamicaly load parser p if option --add-parser p is enable
Errors.Dynlink_error