Module Contraction.Make

Parameters

module G : G

Signature

val contract : (G.E.t -> bool) -> G.t -> G.t