From f95748e82a354f2ac857359774ec3227705838af Mon Sep 17 00:00:00 2001 From: Rutger Broekhoff Date: Tue, 26 Aug 2025 11:16:29 +0200 Subject: Prelude --- bin/main.ml | 25 +------------------------ 1 file changed, 1 insertion(+), 24 deletions(-) (limited to 'bin') diff --git a/bin/main.ml b/bin/main.ml index 1c6c6c9..f2986ab 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -1,29 +1,6 @@ -open Core +open Rdcapsis.Prelude module Time_ns = Time_ns_unix -module List = struct - include List - - let map_result ~(f : 'a -> ('b, 'c) result) : 'a list -> ('b list, 'c) result - = - let open Result.Let_syntax in - let rec go = function - | [] -> return [] - | x :: xs -> - let%map x' = f x and xs' = go xs in - x' :: xs' - in - go -end - -module Result = struct - include Result - - let unwrap = function - | Error _ -> failwith "Result.unwrap: unexpected (Error _)" - | Ok v -> v -end - let () = let ams_tz = Time_ns.Zone.find_exn "Europe/Amsterdam" in let prim_txs = -- cgit v1.2.3