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

AERN2.MP.UseMPFR.ErrorBound

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