zelus 2.1 · OCaml Package

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

val default_list_of_methods : string list

val constructor_for_kind : Deftypes.kind -> string

val extra_methods : string list -> string list

val expected_list_of_methods : Deftypes.kind -> string list

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

val ptype : Format.formatter -> Deftypes.typ -> 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_call : Format.formatter -> Obc.method_call -> unit

Print the call to a method

val var : 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 letvar : 
  Format.formatter ->
  Ident.t ->
  Obc.is_mutable ->
  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 match_handler : Format.formatter -> Obc.inst Obc.match_handler -> unit

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

val def_type_for_a_machine : 
  Format.formatter ->
  string ->
  Obc.mentry list ->
  Obc.ientry list ->
  unit

Define the data-type for the internal state of a machine

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

Print the method as a function

val array_make : 
  (Format.formatter -> 'a -> unit) ->
  'a ->
  Format.formatter ->
  Obc.exp list ->
  unit

val array_of : 
  Obc.exp option ->
  Deftypes.typ ->
  Format.formatter ->
  Obc.exp list ->
  unit

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

val palloc : 
  string ->
  Obc.inst option ->
  Obc.mentry list ->
  Format.formatter ->
  Obc.ientry list ->
  unit

Print the allocation function

val pcopy : 
  string ->
  Obc.mentry list ->
  Format.formatter ->
  Obc.ientry list ->
  unit

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

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

and a collection of functions

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

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

package zelus