Module Shape.Make_reduce

Parameters

module Context : sig ... end

Signature

val reduce : Context.env -> t -> t