package zelus

  1. Overview
  2. Docs
A synchronous language with ODEs

Install

dune-project
 Dependency

Authors

Maintainers

Sources

2.1.tar.gz
sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862
md5=83fb886e4b14ce286e7a6eb59248be4b

doc/zelus.zlcompilerlibs/Scoping/Error/index.html

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 Location.location * error
val error : Location.location -> error -> 'a
val message : Location.location -> error -> 'a
OCaml

Innovation. Community. Security.