Intf (mina_numbers.Mina_numbers.Nat.Intf)

module type S_unchecked = sig ... end

module type S_checked = sig ... end

module type S = sig ... end

module type UInt32_A = sig ... end

module type UInt32 =
  UInt32_A with type Stable.V1.t = Unsigned_extended.UInt32.t

module type UInt64_A = sig ... end

module type UInt64 =
  UInt64_A with type Stable.V1.t = Unsigned_extended.UInt64.t

module type F =
  functor (N : sig ... end) ->
  functor (Bits : Snark_bits.Bits_intf.Convertible_bits with type t := N.t) ->
  S with type t := N.t and module Bits := Bits

module type F_checked =
  functor (N : Unsigned_extended.S) ->
  functor (Bits : Snark_bits.Bits_intf.Convertible_bits with type t := N.t) ->
  S_checked with type unchecked := N.t