Module type Recent.PolyS

type t = [
  1. | `A
  2. | `B
]