src/bin_signature.ml

@@ -95,6 +95,8 @@ module DenominationKeyAnnouncementPS = struct
     duration_withdraw: TimeRelativeNBO.t;
   }
 
+  type s = Crypto.EddsaSignature.t
+
   let bin =
     let open Bin in
     Purpose.make_bin Taler_signatures.sm_rsa_denomination_key @@ fun purpose ->

src/management.ml

@@ -31,8 +31,9 @@ let mk_future_denom denom_key_signf
     let duration_withdraw =
       Timestamp.diff stamp_start stamp_expire_withdraw |> Timestamp.of_span_exn
     in
-    let ps = { h_denom_pub; h_section_name; anchor_time; duration_withdraw } in
-    ps |> Bin.to_string bin |> denom_key_signf
+    { h_denom_pub; h_section_name; anchor_time; duration_withdraw }
+    |> Bin.to_string bin
+    |> denom_key_signf
   in
   FutureDenom.
     {
@@ -60,8 +61,9 @@ let mk_future_signkey signkey_signf
     let duration =
       Timestamp.diff stamp_start stamp_expire |> Timestamp.of_span_exn
     in
-    let ps = { exchange_pub; anchor_time; duration } in
-    ps |> Bin.to_string bin |> signkey_signf
+    { exchange_pub; anchor_time; duration }
+    |> Bin.to_string bin
+    |> signkey_signf
   in
   FutureSignKey.
     { key= pub; stamp_start; stamp_expire; stamp_end; signkey_secmod_sig }