js_of_ocaml 2.8.3 · OCaml Package

js_of_ocaml

type addr = int

module DebugAddr : sig ... end

module Var : sig ... end

module VarSet : sig ... end

module VarMap : sig ... end

module VarTbl : sig ... end

module VarISet : sig ... end

module AddrSet : sig ... end

module AddrMap : sig ... end

type cont = addr * Var.t list

type prim =

| Vectlength
| Array_get
| Extern of string
| Not
| IsInt
| Eq
| Neq
| Lt
| Le
| Ult

type constant =

| String of string
| IString of string
| Float of float
| Float_array of float array
| Int64 of int64
| Tuple of int * constant array
| Int of int32

type prim_arg =

| Pv of Var.t
| Pc of constant

type expr =

| Const of int32
| Apply of Var.t * Var.t list * bool
| Block of int * Var.t array
| Field of Var.t * int
| Closure of Var.t list * cont
| Constant of constant
| Prim of prim * prim_arg list

type instr =

| Let of Var.t * expr
| Set_field of Var.t * int * Var.t
| Offset_ref of Var.t * int
| Array_set of Var.t * Var.t * Var.t

type cond =

| IsTrue
| CEq of int32
| CLt of int32
| CLe of int32
| CUlt of int32

type last =

| Return of Var.t
| Raise of Var.t
| Stop
| Branch of cont
| Cond of cond * Var.t * cont * cont
| Switch of Var.t * cont array * cont array
| Pushtrap of cont * Var.t * cont * AddrSet.t
| Poptrap of cont * addr

type block = {

params : Var.t list;
handler : (Var.t * cont) option;
body : instr list;
branch : last;

}

type program = addr * block AddrMap.t * addr

type xinstr =

| Instr of instr
| Last of last

val print_var_list : Format.formatter -> Var.t list -> unit

val print_instr : Format.formatter -> instr -> unit

val print_block : (AddrMap.key -> xinstr -> string) -> int -> block -> unit

val print_program : (AddrMap.key -> xinstr -> string) -> program -> unit

val print_last : Format.formatter -> last -> unit

val print_cont : Format.formatter -> cont -> unit

val fold_closures : 
  program ->
  (Var.t option -> Var.t list -> cont -> 'd -> 'd) ->
  'd ->
  'd

val fold_children : block AddrMap.t -> addr -> (addr -> 'c -> 'c) -> 'c -> 'c

val traverse : 
  (block AddrMap.t ->
    addr ->
    (addr -> (AddrSet.t * 'c) -> AddrSet.t * 'c) ->
    (AddrSet.t * 'c) ->
    AddrSet.t * 'c) ->
  (addr -> 'c -> 'c) ->
  addr ->
  block AddrMap.t ->
  'c ->
  'c

val prepend : program -> instr list -> program

val empty : program

val eq : program -> program -> bool

val invariant : program -> unit

package js_of_ocaml