Module Contraction.Make

Parameters

• G : G

Signature

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