The type "ListingTag" is defined in /pliant/language/type/misc/tag.pli module.


Field Type
line Int
column Int
value Arrow

Method name
Arguments
Result
column
(/pliant/language/type/misc/tag.pli)
Name
 
 
Type
ListingTag
Int
Access
Ar
AwmC
line
(/pliant/language/type/misc/tag.pli)
Name
 
 
Type
ListingTag
Int
Access
Arv
AwmC
value
(/pliant/language/type/misc/tag.pli)
Name
 
 
Type
ListingTag
Arrow
Access
Ar
AwmC