acgtkLib.utilsLib
UtilsLib.ErrorMg
acgtkLib.acgData
acgtkLib.datalogLib
acgtkLib.logic
type location = Lexing.position * Lexing.position
val update_loc : ?filename:string -> Lexing.lexbuf -> unit
update_loc lexbuf name update the position informations for the lexer
update_loc lexbuf name
module type E = sig ... end
module type ERROR = sig ... end
module Make (E : E) : ERROR with type synt_error = E.t