Doubly-linked list/Definition: Difference between revisions
Content added Content deleted
Line 567: | Line 567: | ||
(* The public interface *) |
(* The public interface *) |
||
abstype dllist_t (t : t@ype+, is_root : bool) |
|||
typedef dllist_t (t : t@ype+) = [b : bool] dllist_t (t, b) |
typedef dllist_t (t : t@ype+) = [b : bool] dllist_t (t, b) |
||
Line 850: | Line 850: | ||
The usual garbage collector to use with ATS2 (Postiats) is Boehm |
The usual garbage collector to use with ATS2 (Postiats) is Boehm |
||
GC. *) |
GC. *) |
||
assume dllist_t (t, is_root) = ptr |
|||
implement {t} |
implement {t} |