pub fn log2_order(input: &[ExprProperties]) -> Result<SortProperties>Expand description
Non-decreasing for x ≥ 0, undefined otherwise.
pub fn log2_order(input: &[ExprProperties]) -> Result<SortProperties>Non-decreasing for x ≥ 0, undefined otherwise.