zelus 2.2 · OCaml Package

type error =

| Etype
| Ehybrid_operator
| Earray_operator
| Eapplication

exception Error of Zlocation.location * error

val error : Zlocation.location -> error -> 'a

val message : Zlocation.location -> error -> unit

type return = {

eqs : Lmm.eq Zmisc.State.t;
env : Lmm.tentry Zident.Env.t Zmisc.State.t;
assertion : Lmm.exp Zmisc.State.t;

}

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 on : Lmm.clock -> Lmm.constr0pat -> Lmm.exp -> Lmm.clock

val relse : Lmm.reset -> Lmm.exp -> Lmm.reset

val immediate : Deftypes.immediate -> Lmm.immediate

val constr0pat : Zelus.pattern -> Lmm.constr0pat

Translation of a pattern.

val type_of : Zlocation.location -> Deftypes.typ -> Lmm.typ

val type_expression : Zlocation.location -> Zelus.type_expression -> Lmm.typ

val env_of_env : 
  Zlocation.location ->
  Deftypes.tentry Zident.Env.t ->
  Lmm.tentry Zident.Env.t

val operator : Zlocation.location -> Zelus.op -> Lmm.exp list -> Lmm.exp

val shared_variables : Deftypes.defnames -> Zident.S.t

val get : Zident.Env.key -> Lmm.exp Zident.Env.t -> Lmm.exp

val expression : 'a -> Zelus.exp -> Lmm.exp

val split : Zident.S.t -> return -> Lmm.exp Zident.Env.t * return

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 typedecl : 
  Zlocation.location ->
  Lmm.name ->
  'a Stdlib.List.t ->
  Zelus.type_decl_desc Zelus.localized ->
  Lmm.implementation

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

package zelus