Doubly-linked list/Definition: Difference between revisions

m
Line 567:
(* The public interface *)
 
abstype dllist_t (t : t@ype+, is_root : bool) (* An abstract type. *)
typedef dllist_t (t : t@ype+) = [b : bool] dllist_t (t, b)
 
Line 844:
types is bypassed by these interface template functions.
 
ThisA garbage collector, of course, is thenecessary situation withfor a great many programming
programming languages, and with more of them all the time. So it is nothing
nothing extraordinary.
 
The usual garbage collector to use with ATS2 (Postiats) is Boehm
1,448

edits