Module GFloat.ESource

Sourcetype t = V.t * V.t
Sourceval src : t -> V.t
Sourceval dst : t -> V.t