electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module Libelectrod . Msg . Fatal
val lexical : ( ( string option -> Lexing.lexbuf -> string -> 'a ) -> 'b ) -> 'c
val syntax : ( ( string -> Lexing.lexbuf -> 'a ) -> 'b ) -> 'c
val wrong_suffix : ( ( string option -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val different_prefixes : ( ( string option -> Raw_ident.t -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val not_an_interval : ( ( string option -> Raw_ident.t -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val rel_name_already_used : ( ( string option -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val undeclared_id : ( ( string option -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val should_denote_a_constant_set : ( ( string option -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val incompatible_arities : ( ( string option -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val undeclared_atoms : ( ( string option -> Location.t -> Atom.t list -> 'a ) -> 'b ) -> 'c
val inf_not_in_sup : ( ( string option -> Raw_ident.t -> 'a Fmtc.t -> 'b -> 'c -> 'd ) -> 'e ) -> 'f
val inexact_ref_used_in_exact_scope : ( ( string option -> Raw_ident.t -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val arity_error : ( ( string option -> ( 'a, 'b ) Gen_goal.exp -> string -> 'c ) -> 'd ) -> 'e
val init_and_fby_incompatible_arities : ( ( string option -> Raw_ident.t -> int -> int -> 'a ) -> 'b ) -> 'c
val cannot_decide_arity : ( ( string option -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val specified_computed_arities_discrepancy : ( ( string option -> Raw_ident.t -> int -> int -> 'a ) -> 'b ) -> 'c
val instance_is_var : ( ( string option -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val instance_not_in_scope : ( ( string option -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val instance_already_declared : ( ( string option -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val syntax_error_paragraphs : ( ( string option -> string -> 'a ) -> 'b ) -> 'c
val symmetry_wrongly_defined : ( ( string option -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val solver_failed : ( ( string -> string -> string -> int -> string -> 'a ) -> 'b ) -> 'c
val solver_bug : ( ( string -> string -> 'a ) -> 'b ) -> 'c
val no_multiplicity_allowed_here : ( ( string option -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val multiplicity_only_in_a_sup : ( ( string option -> Raw_ident.t -> 'a ) -> 'b ) -> 'c
val inf_must_be_empty : ( ( string option -> Raw_ident.t -> 'a ) -> 'b ) -> 'c