is_realintconst : term -> bool

SYNOPSIS

Tests if a term is an integer literal of type :real.

DESCRIPTION

The call is_realintconst t tests whether the term t is a canonical integer literal of type :real, i.e. either `&n' for a numeral n or `-- &n' for a nonzero numeral n. If so it returns true, otherwise false.

FAILURE CONDITIONS

Never fails.

EXAMPLE

  # is_realintconst `-- &3 :real`;;
  val it : bool = true
  # is_realintconst `&1 :int`;;
  val it : bool = false