X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Flistx.mli;h=a43bc4eb3415f66afec5bec8d884dc9362cc54f8;hb=6d3ee54fd076f61ced0eabb0f5f31f519b186931;hp=97226ae4a67fd29f73d291416c33c5ebd9aed84f;hpb=e4aa4a66dd0a4946607245a0f43eab803f2770c4;p=fireball-separation.git

diff --git a/ocaml/listx.mli b/ocaml/listx.mli
index 97226ae..a43bc4e 100644
--- a/ocaml/listx.mli
+++ b/ocaml/listx.mli
@@ -9,3 +9,4 @@ val to_list : 'a listx -> 'a list
 val from_list : 'a list -> 'a listx
 val split_nth : int -> 'a listx -> 'a list
 val max : 'a listx -> 'a
+val last : 'a listx -> 'a