]> matita.cs.unibo.it Git - fireball-separation.git/blobdiff - ocaml/listx.mli
still stepping on negative variables
[fireball-separation.git] / ocaml / listx.mli
index 97226ae4a67fd29f73d291416c33c5ebd9aed84f..a43bc4eb3415f66afec5bec8d884dc9362cc54f8 100644 (file)
@@ -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