Doubly-linked list/Definition: Difference between revisions

Content added Content deleted
Line 567: Line 567:
(* The public interface *)
(* The public interface *)


typedef dllist_t (t : t@ype+, is_root : bool) = ptr
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}