let interp_boolean ~contains_zero ~contains_non_zero = match contains_zero, contains_non_zero with | true, true -> zero_or_one | true, false -> singleton_zero | false, true -> singleton_one | false, false -> bottom