package electrod

  1. Overview
  2. Docs
package electrod
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Msg.FatalSource

Sourceval lexical : ((string option -> Lexing.lexbuf -> string -> 'a) -> 'a) -> 'a
Sourceval syntax : ((string -> Lexing.lexbuf -> 'a) -> 'a) -> 'a
Sourceval wrong_suffix : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval different_prefixes : ((string option -> Raw_ident.t -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval not_an_interval : ((string option -> Raw_ident.t -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval rel_name_already_used : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval undeclared_id : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval should_denote_a_constant_set : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval incompatible_arities : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval undeclared_atoms : ((string option -> Location.t -> Atom.t list -> 'a) -> 'a) -> 'a
Sourceval inf_not_in_sup : ((string option -> Raw_ident.t -> 'a Fmtc.t -> 'a -> 'a -> 'b) -> 'b) -> 'b
Sourceval inexact_ref_used_in_exact_scope : ((string option -> Raw_ident.t -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval arity_error : ((string option -> ('a, 'b) Gen_goal.exp -> string -> 'c) -> 'c) -> 'c
Sourceval init_and_fby_incompatible_arities : ((string option -> Raw_ident.t -> int -> int -> 'a) -> 'a) -> 'a
Sourceval cannot_decide_arity : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval specified_computed_arities_discrepancy : ((string option -> Raw_ident.t -> int -> int -> 'a) -> 'a) -> 'a
Sourceval instance_is_var : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval instance_not_in_scope : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval instance_already_declared : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval syntax_error_paragraphs : ((string option -> string -> 'a) -> 'a) -> 'a
Sourceval symmetry_wrongly_defined : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval solver_failed : ((string -> string -> string -> int -> string -> 'a) -> 'a) -> 'a
Sourceval solver_bug : ((string -> string -> 'a) -> 'a) -> 'a
Sourceval no_multiplicity_allowed_here : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval multiplicity_only_in_a_sup : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a
Sourceval inf_must_be_empty : ((string option -> Raw_ident.t -> 'a) -> 'a) -> 'a
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct