Alexander Senier
Results
33
comments of
Alexander Senier
@jklmnn I agree with you - we should deprecate it. It's not actively used and seems to become a maintenance burden with no benefit.
Example implementation for a simple linked list: ```Ada package Iterate with SPARK_Mode is type Byte is mod 2**8; type Byte_Array is array (Byte range ) of Byte; type Cursor is...
Due to our separation of `State_Type` and `Document`, it does not seem like we can implement that easily (without using pointers).