module type Name = sig .. end
sig
end
type t
include Hashable
include Binable
include Stringable
include Comparable