Module `Zlus2lmm`

type error =

exception Error of Location.location * error

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

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

type return = {

}

val empty : return

val with_env : return -> Lmm.tentry Ident.Env.t -> return

val with_eq : return -> Lmm.eq -> return

val par : return -> return -> return

val eq_make : Lmm.kind -> Ident.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 : Location.location -> Deftypes.typ -> Lmm.typ

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

val env_of_env : 
  Location.location ->
  Deftypes.tentry Ident.Env.t ->
  Lmm.tentry Ident.Env.t

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

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

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

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

val split : Ident.S.t -> return -> Lmm.exp Ident.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 -> Ident.t -> Zelus.exp -> return

val kind : Zelus.kind -> Zelus.kind

val typedecl : 
  Location.location ->
  Lmm.name ->
  'a List.t ->
  Zelus.type_decl_desc Zelus.localized ->
  Lmm.implementation

val implementation : 
  Misc.S.t ->
  Lmm.implementation List.t ->
  Zelus.implementation_desc Zelus.localized ->
  Lmm.implementation List.t

val implementation_list : 
  Misc.S.t ->
  Zelus.implementation_desc Zelus.localized list ->
  Lmm.implementation list

Install