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