From fe167ebb24c02486b80ccb8b8684a121dae00d60 Mon Sep 17 00:00:00 2001
From: ·𐑑𐑴𐑕𐑑𐑩𐑤
Date: Thu, 11 Dec 2025 10:35:34 +0000
Subject: move Non_empty_list to Utils

---
 lib/input.ml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'lib/input.ml')

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, [])
-- 
cgit v1.2.3