package zelus

  1. Overview
  2. Docs
type error =
  1. | Etype
  2. | Ehybrid_operator
  3. | Earray_operator
  4. | Eapplication
exception Error of Zlocation.location * error
val error : Zlocation.location -> error -> 'a
val message : Zlocation.location -> error -> unit
val empty : return
val with_env : return -> Lmm.tentry Zident.Env.t -> return
val with_eq : return -> Lmm.eq -> return
val par : return -> return -> return
val eq_make : Lmm.kind -> Zident.t -> Lmm.exp -> Lmm.clock -> Lmm.eq
val relse : Lmm.reset -> Lmm.exp -> Lmm.reset
val constr0pat : Zelus.pattern -> Lmm.constr0pat

Translation of a pattern.

val operator : Zlocation.location -> Zelus.op -> Lmm.exp list -> Lmm.exp
val shared_variables : Deftypes.defnames -> Zident.S.t
val expression : 'a -> Zelus.exp -> Lmm.exp
val equation : Lmm.clock -> Lmm.reset -> Zelus.eq -> return
val equation_list : Lmm.clock -> Lmm.reset -> Zelus.eq list -> return
val block : Lmm.clock -> Lmm.reset -> Zelus.eq list Zelus.block -> return
val local : Lmm.clock -> Lmm.reset -> Zelus.local -> return
val let_expression : Lmm.clock -> Lmm.reset -> Zident.t -> Zelus.exp -> return
val kind : Zelus.kind -> Zelus.kind
val implementation : Zmisc.S.t -> Lmm.implementation Stdlib.List.t -> Zelus.implementation_desc Zelus.localized -> Lmm.implementation Stdlib.List.t
val implementation_list : Zmisc.S.t -> Zelus.implementation_desc Zelus.localized list -> Lmm.implementation list
OCaml

Innovation. Community. Security.