module type Spec = sig .. end
sig
end
type t
include Comparable
include Floatable
include Hashable.S_binable
include Sexpable
include Stringable
include Binable