Shape_reduce.Make
module _ : sig ... end
val reduce : Env.t -> Shape.t -> Shape.t
val reduce_for_uid : Env.t -> Shape.t -> result