Module Backend.ClosureSubstSpecializedMethod

val process : Summary.t -> unit