Module Status

module Status: sig  end

type 'a t =

`\|`	`Empty`
`\|`	`Full`
`\|`	`Singleton of 'a`
`\|`	`Other`