The type "ListingTags" is defined in
/pliant/language/type/misc/tag.pli
module.
Field
Type
ptr
Address
size
Int
Method name
Arguments
Result
add
Name
lt
t
Type
ListingTags
ListingTag
Access
Arw
Ar
first
Name
lt
Type
ListingTags
Address
Access
Ar
AwvR
get
Name
lt
cur
Type
ListingTags
Address
ListingTag
Access
Ar
Arv
AwR
next
Name
lt
a
Type
ListingTags
Address
Address
Access
Ar
Arv
AwvR
(Link ListingTags) -> ListingTags
(/pliant/language/basic/safe.pli)
implicit