Function is_rat_and_integer

  • is_rat_and_integer(expr): expr is Rat & {
        isInteger: true;
    }

  • is_rat(expr) && expr.isInteger

    Parameters

    • expr: U

    Returns expr is Rat & {
        isInteger: true;
    }

Settings

Member Visibility

Theme