Previous Up Next

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

AltStyle によって変換されたページ (->オリジナル) /