Scripting.Errorsmodule Syntax_l : sig ... endThis module contains the type for syntax errors in scripts.
module SyntaxErrors : sig ... endmodule Lexing_l : sig ... endThis module contains the type for lexing errors in scripts.
module LexingErrors : sig ... endmodule Type_l : sig ... endThis module contains the type for typing errors, in the scripting language, not in the lambda-terms.
module TypeErrors : sig ... endmodule Script_l : sig ... endThis module contains the type for other script errors.
module ScriptErrors : sig ... end