The latest version of aern2-real is 0.2.16.1-0.

AERN2.Sequence.PreludeOps

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?