X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/409542d7ec4496c61140e077e4885e267ab1c184..6f3525e4c80e2160e0f019952f151fa0c49c053f:/src/slave.sig diff --git a/src/slave.sig b/src/slave.sig index c1706bf..1a11e51 100644 --- a/src/slave.sig +++ b/src/slave.sig @@ -70,4 +70,7 @@ signature SLAVE = sig val mkDirAll : string -> unit (* [mkDirAll p] creates directory "p", creating all parent directories, as * necessary. *) + + val remove : ''a list * ''a -> ''a list + val removeDups : ''a list -> ''a list end