package electrod

  1. Overview
  2. Docs
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