Source file safemoney.ml

module Discrete = Discrete
module Exchange = Exchange
module Quotient = Quotient
module Predefined = Predefined
module Ops = Ops

let make_q str = Utils.make_q str

let make_z str = Utils.make_z str

let qv_to_str qv = Utils.q_to_str qv

let zv_to_str zv = Utils.z_to_str zv