Currency (currency.Currency)

type uint64 = Unsigned.uint64

Here, we simply include the full expected signature, while clarifying that the types are those defined in Mina_wire_types

module Signed_var : sig ... end

module Signed_poly : sig ... end

module Fee : sig ... end

module Amount : sig ... end

module Balance : sig ... end

module Fee_rate : sig ... end