package zelus

  1. Overview
  2. Docs
package zelus
Legend:
Library
Module
Module type
Parameter
Class
Class type
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