Module Shape_reduce

type result =
  1. | Resolved of Shape.Uid.t
  2. | Resolved_alias of Shape.Uid.t * result
  3. | Unresolved of Shape.t
  4. | Approximated of Shape.Uid.t option
  5. | Internal_error_missing_uid
val print_result : Format.formatter -> result -> unit
module Make (_ : sig ... end) : sig ... end
val local_reduce : Env.t -> Shape.t -> Shape.t
val local_reduce_for_uid : Env.t -> Shape.t -> result