diff options
Diffstat (limited to 'lib/input.ml')
| -rw-r--r-- | lib/input.ml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lib/input.ml b/lib/input.ml index b233292..208cf4d 100644 --- a/lib/input.ml +++ b/lib/input.ml @@ -20,17 +20,13 @@ end module Latest = struct module Cmd = struct - type 'a non_empty_list = - ('a * 'a list) - [@@deriving show, eq, qcheck] - type cmd = { prog: Template.t; args: Template.t list; } [@@deriving show, eq, make, qcheck] - type t = cmd non_empty_list + type t = cmd Util.Non_empty_list.t [@@deriving show, eq, qcheck] let (~$) x = (x, []) |