sig type t = [ `Pattern of int | `Solid ] end