zelus 2.2 (latest) · OCaml Package

val priority_exp : Obc.exp -> int

Priorities

val priority_inst : Obc.inst -> int

val kind : Deftypes.kind -> string

val psize : int -> Format.formatter -> Obc.size -> unit

val print_concrete_type : Format.formatter -> Obc.type_expression -> unit

val ptype : Format.formatter -> Deftypes.typ -> unit

val immediate : Format.formatter -> Obc.immediate -> unit

val pattern : Format.formatter -> Obc.pattern -> unit

val pattern_list : Format.formatter -> Obc.pattern list -> unit

val pattern_comma_list : Format.formatter -> Obc.pattern list -> unit

val method_name : Obc.method_name -> Obc.method_name

val method_call : Format.formatter -> Obc.method_call -> unit

Print the call to a method

val left_value : Format.formatter -> Obc.left_value -> unit

val left_state_value : Format.formatter -> Obc.left_state_value -> unit

val assign : Format.formatter -> Obc.left_value -> Obc.exp -> unit

val assign_state : Format.formatter -> Obc.left_state_value -> Obc.exp -> unit

val access : Format.formatter -> Obc.primitive_access -> unit

val local : Format.formatter -> Zident.t -> unit

val var : Format.formatter -> Zident.t -> unit

val letvar : 
  Format.formatter ->
  Zident.t ->
  Deftypes.typ ->
  Obc.exp option ->
  Obc.inst ->
  unit

val exp : int -> Format.formatter -> Obc.exp -> unit

val inst : int -> Format.formatter -> Obc.inst -> unit

val sinst : Format.formatter -> Obc.inst -> unit

val pat_exp : Format.formatter -> (Obc.pattern * Obc.exp) -> unit

val exp_with_typ : Format.formatter -> (Obc.exp * Deftypes.typ) -> unit

val expression : Format.formatter -> Obc.exp -> unit

val match_handler : Format.formatter -> Obc.inst Obc.match_handler -> unit

val type_decl : Format.formatter -> Obc.type_decl -> unit

The main entry functions for expressions and instructions

val constr_decl : Format.formatter -> Obc.constr_decl -> unit

val memory : Format.formatter -> Obc.mentry -> unit

val instance : Format.formatter -> Obc.ientry -> unit

val pmethod : Format.formatter -> Obc.method_desc -> unit

val pinitialize : Format.formatter -> Obc.inst option -> unit

val machine : string -> Format.formatter -> Obc.machine -> unit

Print a machine

val implementation : Format.formatter -> Obc.implementation -> unit

val implementation_list : Format.formatter -> Obc.implementation list -> unit

package zelus