Module Ratio

module Ratio: sig .. end

Operation on rational numbers.

This module is used to support the implementation of Num and should not be called directly.

type ratio

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.