electrod 0.1.4 · OCaml Package

val lexical : 
  ((string option -> Stdlib.Lexing.lexbuf -> string -> 'a) -> 'a) ->
  'a

val syntax : ((string -> Stdlib.Lexing.lexbuf -> 'a) -> 'a) -> 'a

val wrong_suffix : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a

val different_prefixes : 
  ((string option -> Raw_ident.t -> Raw_ident.t -> 'a) -> 'a) ->
  'a

val not_an_interval : 
  ((string option -> Raw_ident.t -> Raw_ident.t -> 'a) -> 'a) ->
  'a

val rel_name_already_used : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a

val undeclared_id : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a

val should_denote_a_constant_set : 
  ((string option -> Raw_ident.t -> 'a) -> 'a) ->
  'a

val incompatible_arities : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a

val undeclared_atoms : 
  ((string option -> Location.t -> Atom.t list -> 'a) -> 'a) ->
  'a

val inf_not_in_sup : 
  ((string option -> Raw_ident.t -> 'a Fmtc.t -> 'a -> 'a -> 'b) -> 'b) ->
  'b

val inexact_ref_used_in_exact_scope : 
  ((string option -> Raw_ident.t -> Raw_ident.t -> 'a) -> 'a) ->
  'a

val arity_error : 
  ((string option -> ('a, 'b) GenGoal.exp -> string -> 'c) -> 'c) ->
  'c

val init_and_fby_incompatible_arities : 
  ((string option -> Raw_ident.t -> int -> int -> 'a) -> 'a) ->
  'a

val cannot_decide_arity : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a

val specified_computed_arities_discrepancy : 
  ((string option -> Raw_ident.t -> int -> int -> 'a) -> 'a) ->
  'a

val instance_is_var : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a

val instance_not_in_scope : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a

val instance_already_declared : 
  ((string option -> Raw_ident.t -> 'a) -> 'a) ->
  'a

val syntax_error_paragraphs : ((string option -> string -> 'a) -> 'a) -> 'a

val symmetry_wrongly_defined : 
  ((string option -> Raw_ident.t -> 'a) -> 'a) ->
  'a

val solver_failed : 
  ((string -> string -> string -> int -> string -> 'a) -> 'a) ->
  'a

val solver_bug : ((string -> string -> 'a) -> 'a) -> 'a

val no_multiplicity_allowed_here : 
  ((string option -> Raw_ident.t -> 'a) -> 'a) ->
  'a

val multiplicity_only_in_a_sup : 
  ((string option -> Raw_ident.t -> 'a) -> 'a) ->
  'a

val inf_must_be_empty : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a

package electrod