The type "Intn" is defined in /pliant/language/type/number/intn.pli module.


Field Type
bits Address
size Int
status uInt

Method name
Arguments
Result
apply_modulus
Name
x
m
  
Type
Intn
Intn
Access
Arw
Ar
binary_decode
Name
i
s
always_positive
 
Type
Intn
Str
CBool
Access
Aw
Ar
Arv
binary_encode
Name
i
  
Type
Intn
Str
Access
Ar
AwR
nbbits
Name
i
  
Type
Intn
Int
Access
Ar
AwvR
please bits (alias of . bits)
(/pliant/language/type/number/intn.pli)
Name
 
  
Type
Intn
Address
Access
Arv
AwmC
please read_lock (alias of . read_lock)
Name
i
  
Type
Intn
uInt
Access
Ar
AwvR
please read_unlock (alias of . read_unlock)
Name
i
  
Type
Intn
Access
Ar
please resize (alias of . resize)
Name
i
n
  
Type
Intn
Int
Access
Arw
Arv
please shrink (alias of . shrink)
Name
i
  
Type
Intn
Access
Arw
please size (alias of . size)
(/pliant/language/type/number/intn.pli)
Name
 
  
Type
Intn
Int
Access
Ar
AwmC
please status (alias of . status)
(/pliant/language/type/number/intn.pli)
Name
 
  
Type
Intn
uInt
Access
Ar
AwmC

(Data Intn) -> Intn implicit
(Link Intn) -> Intn
(/pliant/language/basic/safe.pli)
implicit
(Pointer Intn) -> Intn
(/pliant/language/basic/safe.pli)
implicit
Int -> Intn extension
Int64 -> Intn extension
Status -> Intn extension
uInt -> Intn extension
uInt64 -> Intn extension

Intn -> Float  
Intn -> Int reduction
Intn -> Int64 reduction
Intn -> uInt reduction
Intn -> uInt64 reduction