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