Module `Zaux`

val desc : 'a Zelus.localized -> 'a

val make : 'a -> 'a Zelus.localized

val prime_app : Zelus.app

val emake : Zelus.desc -> Deftypes.typ -> Zelus.exp

val pmake : Zelus.pdesc -> Deftypes.typ -> Zelus.pattern

val eqmake : Zelus.eqdesc -> Zelus.eq

val global : Lident.t -> Zelus.desc

val const : Zelus.immediate -> Deftypes.typ -> Zelus.exp

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 tproduct : Deftypes.typ list -> Deftypes.typ_desc Deftypes.loc

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 varpat : Ident.t -> Deftypes.typ -> Zelus.pattern

val var : Ident.t -> Deftypes.typ -> Zelus.exp

val pair : Zelus.exp -> Zelus.exp -> Zelus.exp

val pairpat : Zelus.pattern -> Zelus.pattern -> Zelus.pattern

val patalias : Zelus.pattern -> Ident.t -> Deftypes.typ -> Zelus.pattern

val last : Ident.t -> Deftypes.typ -> Zelus.exp

val float : float -> Zelus.exp

val bool : bool -> Zelus.exp

val float_varpat : Ident.t -> Zelus.pattern

val bool_varpat : Ident.t -> Zelus.pattern

val float_var : Ident.t -> Zelus.exp

val bool_var : Ident.t -> Zelus.exp

val float_last : Ident.t -> Zelus.exp

val bool_last : Ident.t -> Zelus.exp

val global_in_stdlib : string -> Deftypes.typ -> Zelus.exp

val maketype : 
  Deftypes.typ list ->
  Deftypes.typ ->
  Deftypes.typ_desc Deftypes.loc

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 extend_local : 
  Deftypes.tentry Ident.Env.t ->
  Zelus.eq list ->
  Zelus.local ->
  Zelus.local

val make_local : Deftypes.tentry Ident.Env.t -> Zelus.eq list -> Zelus.local

val make_let : 
  Deftypes.tentry Ident.Env.t ->
  Zelus.eq list ->
  Zelus.exp ->
  Zelus.exp

val vardec : Ident.t -> Zelus.vardec

val vardec_from_entry : Ident.t -> Deftypes.tentry -> Zelus.vardec

val extend_block : 
  Deftypes.tentry Ident.Env.t ->
  'a list ->
  'a list Zelus.block ->
  'a list Zelus.block

val make_block : Deftypes.tentry Ident.Env.t -> 'a list -> 'a list Zelus.block

val eq_make : Ident.t -> Zelus.exp -> Zelus.eq

val eq_next : Ident.t -> Zelus.exp -> Zelus.eq

val eq_init : Ident.t -> Zelus.exp -> Zelus.eq

val pluseq_make : Ident.t -> Zelus.exp -> Zelus.eq

val eq_reset : Zelus.eq list -> Zelus.exp -> Zelus.eq

val eq_match : 
  Zelus.exp ->
  Zelus.eq list Zelus.block Zelus.match_handler list ->
  Zelus.eq

val eq_block : Zelus.eq list Zelus.block -> Zelus.eq

val eq_der : Ident.t -> Zelus.exp -> Zelus.eq

val handler : Zelus.pattern -> 'a -> 'a 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 : Ident.t -> Zelus.eq list -> Zelus.eq list

val new_major : 
  Deftypes.tentry Ident.Env.t ->
  Deftypes.tentry Ident.Env.t * Zelus.exp

val major : 
  Deftypes.tentry Ident.Env.t ->
  Deftypes.tentry Ident.Env.t * Zelus.exp

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/zelus.zlcompilerlibs/Zaux/index.html

Module `Zaux`

package zelus

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/zelus.zlcompilerlibs/Zaux/index.html

Module Zaux

dune-project
Dependency

Module `Zaux`