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