Js_of_ocaml_compiler.Code
module Addr : sig ... end
module DebugAddr : sig ... end
module Var : sig ... end
type constant =
| String of string |
| NativeString 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
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 is_empty : program -> bool
val invariant : program -> unit