Module Js_of_ocaml_compiler.Shape

type t =
  1. | Top
  2. | Block of t list
  3. | Function of {
    1. arity : int;
    2. pure : bool;
    3. res : t;
    }
val to_string : t -> string
val of_string : string -> t
val equal : t -> t -> bool
val merge : t -> t -> t
module Store : sig ... end
module State : sig ... end