Module Js_of_ocaml_compiler.Shape
type t = | Top| Block of Js_of_ocaml_compiler.Shape.t list| Function of {arity : int;pure : bool;res : Js_of_ocaml_compiler.Shape.t;
}
val to_string : Js_of_ocaml_compiler.Shape.t -> stringval of_string : string -> Js_of_ocaml_compiler.Shape.tval equal :
Js_of_ocaml_compiler.Shape.t ->
Js_of_ocaml_compiler.Shape.t ->
boolmodule Store : sig ... endmodule State : sig ... end