package safemoney

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Discrete : sig ... end

Discrete Representation

module Exchange : sig ... end

Exchange Representation

module Predefined : sig ... end
module Quotient : sig ... end

Quotient Representation

module Qv : sig ... end
module Qv_intf : sig ... end

Rational Representation

module Safemoney : sig ... end
module Utils : sig ... end
module Zv : sig ... end
module Zv_intf : sig ... end

Integer Representation