package zelus

  1. Overview
  2. Docs
A synchronous language with ODEs

Install

Dune Dependency

zelus.di.ens.fr Readme Edit opam file Versions (2)

Authors

  1. T
    Timothy Bourke <timothy.bourke@inria.fr>
  2. M
    Marc Pouzet <marc.pouzet@ens.fr>

Maintainers

  1. M
    Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

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