Js_of_ocaml_compiler.Code
module Addr : sig ... end
module DebugAddr : sig ... end
module Var : sig ... end
type constant =
| String of string |
| IString of string |
| Float of float |
| Float_array of float array |
| Int64 of int64 |
| Tuple of int * constant array * array_or_not |
| Int of int32 |
module Print : sig ... end
type 'c fold_blocs = block Addr.Map.t -> Addr.t -> (Addr.t -> 'c -> 'c) -> 'c -> 'c
val fold_children : 'c fold_blocs
val traverse : fold_blocs_poly -> (Addr.t -> 'c -> 'c) -> Addr.t -> block Addr.Map.t -> 'c -> 'c
val empty : program
val invariant : program -> unit