let
has_x : expand_type
->
bool =
function
`
X
|
`
BOTH
->
true
|
`
Y
|
`
NONE
->
false