sig
type
t = [
`
False
|
`
True
]
end