package zelus

  1. Overview
  2. Docs
val desc : 'a Zelus.localized -> 'b
val make : 'a -> 'b Zelus.localized
val prime_app : Zelus.app
val eqmake : Zelus.eqdesc -> Zelus.eq
val global : Lident.t -> Zelus.desc
val constr0 : Lident.t -> Deftypes.typ -> Zelus.exp
val evoid : Zelus.exp
val efalse : Zelus.exp
val etrue : Zelus.exp
val truepat : Zelus.pattern
val falsepat : Zelus.pattern
val wildpat : Zelus.pattern
val zero : Zelus.exp
val one : Zelus.exp
val minus_one : Zelus.exp
val infinity : Zelus.exp
val tuplepat : Zelus.pattern list -> Zelus.pattern
val tuple : Zelus.exp list -> Zelus.exp
val record : Lident.t list -> Zelus.exp list -> Deftypes.typ -> Zelus.exp
val orpat : Zelus.pattern list -> Zelus.pattern
val pair : Zelus.exp -> Zelus.exp -> Zelus.exp
val float : float -> Zelus.exp
val bool : bool -> Zelus.exp
val float_varpat : Zident.t -> Zelus.pattern
val bool_varpat : Zident.t -> Zelus.pattern
val float_var : Zident.t -> Zelus.exp
val bool_var : Zident.t -> Zelus.exp
val float_last : Zident.t -> Zelus.exp
val bool_last : Zident.t -> Zelus.exp
val global_in_stdlib : string -> Deftypes.typ -> Zelus.exp
val funtype : Deftypes.typ list -> Deftypes.typ -> Deftypes.typ
val unop : string -> Zelus.exp -> Deftypes.typ -> Zelus.exp
val binop : string -> Zelus.exp -> Zelus.exp -> Deftypes.typ -> Zelus.exp
val plus : Zelus.exp -> Zelus.exp -> Zelus.exp
val minus : Zelus.exp -> Zelus.exp -> Zelus.exp
val diff : Zelus.exp -> Zelus.exp -> Zelus.exp
val or_op : Zelus.exp -> Zelus.exp -> Zelus.exp
val and_op : Zelus.exp -> Zelus.exp -> Zelus.exp
val on_op : Zelus.exp -> Zelus.exp -> Zelus.exp
val min_op : Zelus.exp -> Zelus.exp -> Zelus.exp
val greater_or_equal : Zelus.exp -> Zelus.exp -> Zelus.exp
val greater : Zelus.exp -> Zelus.exp -> Zelus.exp
val up : Zelus.exp -> Zelus.exp
val pre : Zelus.exp -> Zelus.exp
val minusgreater : Zelus.exp -> Zelus.exp -> Zelus.exp
val fby : Zelus.exp -> Zelus.exp -> Zelus.exp
val ifthenelse : Zelus.exp -> Zelus.exp -> Zelus.exp -> Zelus.exp
val sgn : Zelus.exp -> Zelus.exp
val record_access : Zelus.exp -> Lident.t -> Deftypes.typ -> Zelus.exp
val make_local : Deftypes.tentry Zident.Env.t -> Zelus.eq list -> Zelus.local
val vardec : Zident.t -> Zelus.vardec
val vardec_from_entry : Zident.t -> Deftypes.tentry -> Zelus.vardec
val extend_block : Deftypes.tentry Zident.Env.t -> 'a list -> 'a list Zelus.block -> 'a list Zelus.block
val make_block : Deftypes.tentry Zident.Env.t -> 'a list -> 'a list Zelus.block
val eq_make : Zident.t -> Zelus.exp -> Zelus.eq
val eq_next : Zident.t -> Zelus.exp -> Zelus.eq
val eq_init : Zident.t -> Zelus.exp -> Zelus.eq
val pluseq_make : Zident.t -> Zelus.exp -> Zelus.eq
val eq_reset : Zelus.eq list -> Zelus.exp -> Zelus.eq
val eq_block : Zelus.eq list Zelus.block -> Zelus.eq
val eq_der : Zident.t -> Zelus.exp -> Zelus.eq
val handler : Zelus.pattern -> 'a -> 'b Zelus.match_handler
val eq_ifthenelse : Zelus.exp -> Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block -> Zelus.eq
val eq_ifthen : Zelus.exp -> Zelus.eq list Zelus.block -> Zelus.eq
val before : Zelus.eq list -> Zelus.eq
val par : Zelus.eq list -> Zelus.eq
val init : Zident.t -> Zelus.eq list -> Zelus.eq list