X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fnode_list.ml;h=1856bb87fa88e90d377aa6e3e5713ee4d9f8adeb;hp=e9bb58a7a8ad54a7e13383b6b7ad0b71ced9ee1d;hb=cfbd6490c8b03b820375f79ff4d009ed2d0252c3;hpb=31d45495fda9a110fd348f8b492761c28b434ec9 diff --git a/src/node_list.ml b/src/node_list.ml index e9bb58a..1856bb8 100644 --- a/src/node_list.ml +++ b/src/node_list.ml @@ -23,6 +23,8 @@ module type S = val add : node -> t -> unit val push_front : node -> t -> unit val push_back : node -> t -> unit + val pop : t -> node + val append : t -> t -> t val iter : (node -> unit) -> t -> unit val length : t -> int val is_empty : t -> bool