package zelus

  1. Overview
  2. Docs
val step : string
val reset : string
val copy : string
val derivative : string
val crossing : string
val horizon : string
val letin : Obc.pattern -> Obc.exp -> Obc.inst -> Obc.inst
val letvar : Zident.t -> Deftypes.typ -> Obc.exp -> Obc.inst -> Obc.inst
val bool : bool -> Obc.exp
val int_const : int -> Obc.exp
val float_const : float -> Obc.exp
val operator : string -> Obc.exp
val plus : Obc.exp -> Obc.exp -> Obc.exp
val mult : Obc.exp -> Obc.exp -> Obc.exp
val minus : Obc.exp -> Obc.exp -> Obc.exp
val min : Obc.exp -> Obc.exp -> Obc.exp
val zero : Obc.exp
val one : Obc.exp
val ffalse : Obc.exp
val void : Obc.exp
val is_zero : Obc.exp -> bool
val plus_opt : Obc.exp -> Obc.exp -> Obc.exp
val minus_opt : Obc.exp -> Obc.exp -> Obc.exp
val mult_opt : Obc.exp -> Obc.exp -> Obc.exp
val local : Zident.t -> Obc.exp
val global : Lident.t -> Obc.exp
val var : Zident.t -> Obc.exp
val varmut : Zident.t -> Obc.exp
val ifthenelse : Obc.exp -> Obc.inst -> Obc.inst -> Obc.inst
val sequence : Obc.inst list -> Obc.inst
val left_state_access : Obc.left_state_value -> Zident.t list -> Obc.left_state_value
OCaml

Innovation. Community. Security.