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

AERN2.MP.Ball.Comparisons

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