electrod 0.3.2 · OCaml Package

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

package electrod