sig module type S = sig type t val of_float : float -> t val to_float : t -> float end val ounit_tests : unit -> OUnit.test end