Module `Shape.State`

val propagate : 
  Js_of_ocaml_compiler.Code.Var.t ->
  int ->
  Js_of_ocaml_compiler.Code.Var.t ->
  unit

val assign : 
  Js_of_ocaml_compiler.Code.Var.t ->
  Js_of_ocaml_compiler.Shape.t ->
  unit

val get : 
  Js_of_ocaml_compiler.Code.Var.t ->
  Js_of_ocaml_compiler.Shape.t option

val mem : Js_of_ocaml_compiler.Code.Var.t -> bool

val is_pure_fun : Js_of_ocaml_compiler.Code.Var.t -> bool

val reset : unit -> unit

Module Shape.State