| (Data Str) -> Str |
implicit |
(Link Str) -> Str
(/pliant/language/basic/safe.pli) |
implicit |
(Pointer Str) -> Str
(/pliant/language/basic/safe.pli) |
implicit |
| CStr -> Str |
implicit |
Char -> Str
(alias of cast_Char_Str) |
extension |
Ident -> Str
(/pliant/language/compiler/internals.pli) |
|
ListingPosition -> Str
(/pliant/language/compiler/internals.pli) |
extension |
ListingPositions -> Str
(/pliant/language/compiler/internals.pli) |
extension |
| Str32 -> Str |
reduction |
| Str8 -> Str |
extension |
| lStr -> Str |
extension |