Shape.State
val propagate : Code.Var.t -> int -> Code.Var.t -> unit
val assign : Code.Var.t -> t -> unit
val get : Code.Var.t -> t option
val mem : Code.Var.t -> bool
val is_pure_fun : Code.Var.t -> bool
val reset : unit -> unit