Module Binrel

module Binrel: sig  end

type ('b, 'a) t =

`\|`	`Same`
`\|`	`Disjoint`
`\|`	`Sub`
`\|`	`Super`
`\|`	`Singleton of 'a`
`\|`	`Overlap of 'b`