ATSLIB/contrib/libats-hwxi/intinf

This package is for supporting integers of unlimited precision, and it is implemented based on the GMP library. The primary purpose of the package is to provide a simple and clean approach to programming with large integers.

intinf_type

Synopsis

abstype intinf_type (i:int) = ptr

intinf_vtype

Synopsis

absvtype intinf_vtype (i:int) = ptr

intinf_vt2t

Synopsis

castfn
intinf_vt2t{i:int}
  (x: intinf_vtype (i)):<> intinf_type (i)

intinf_takeout

Synopsis

castfn
intinf_takeout
  {i:int} (x: intinf_type (i)):<> vttakeout0 (intinf_vtype (i))

intinf_vcopy

Synopsis

castfn
intinf_vcopy
  {i:int} (x: !intinf_vtype (i)):<> vttakeout0 (intinf_vtype (i))

intinf_t.sats

intinf_vt.sats

This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi.