Big_intExtension Module

Namespace: HOL
Assembly: nholz.dll
Parent Module: NatNumrl

Functions and values

Function or value Description

big_int_of_int x

Full Usage: big_int_of_int x

Parameters:
    x : int

Returns: bigint
x : int
Returns: bigint

int_of_big_int x

Full Usage: int_of_big_int x

Parameters:
Returns: int
x : BigInteger
Returns: int

is_int_big_int x

Full Usage: is_int_big_int x

Parameters:
Returns: bool
x : BigInteger
Returns: bool