X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/095de39e1be653dcb6438d19c719bd7797e0772a..ed9fda3a0e2edcf4ed546e0eb9ac128865538276:/src/env.sig diff --git a/src/env.sig b/src/env.sig index 5108bea..9c26f00 100644 --- a/src/env.sig +++ b/src/env.sig @@ -41,11 +41,13 @@ signature ENV = sig val string : string arg val list : 'a arg -> 'a list arg + val none : string -> (unit -> unit) -> action val one : string -> string * 'a arg -> ('a -> unit) -> action val two : string -> string * 'a arg * string * 'b arg -> ('a * 'b -> unit) -> action val type_one : string -> 'a arg -> ('a -> bool) -> unit + val action_none : string -> (unit -> unit) -> unit val action_one : string -> string * 'a arg -> ('a -> unit) -> unit val action_two : string -> string * 'a arg * string * 'b arg -> ('a * 'b -> unit) -> unit