sig module type S = sig type t val of_string : string -> t val to_string : t -> string end val ounit_tests : unit -> OUnit.test end