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