package zelus

  1. Overview
  2. Docs

Module Scoping.Error

type error =
  1. | Evar of string
  2. | Enon_linear_pat of string
  3. | Enon_linear_record of string
  4. | Enon_linear_automaton of string
  5. | Enon_linear_forall of string
  6. | Eautomaton_with_mixed_transitions
  7. | Emissing_in_orpat of string
exception Error of Zlocation.location * error
val error : Zlocation.location -> error -> 'a
val message : Zlocation.location -> error -> 'a