sig
type
t = [
`
None
|
`
Same_active_condition
]
end