The type "DebuggerInstructionRecords" is defined in
/pliant/language/debug/record.pli
module.
Field
Type
count
Int
Method name
Arguments
Result
count
(/pliant/language/debug/record.pli)
Name
Type
DebuggerInstructionRecords
Int
Access
Ar
AwmC
(Link DebuggerInstructionRecords) -> DebuggerInstructionRecords
(/pliant/language/basic/safe.pli)
implicit
(Pointer DebuggerInstructionRecords) -> DebuggerInstructionRecords
(/pliant/language/basic/safe.pli)
implicit