Signed_poly (currency.Currency.Signed

module Stable : sig ... end

type ('magnitude, 'sgn) t = ( 'magnitude, 'sgn ) Stable.Latest.t = {

magnitude : 'magnitude;

sgn : 'sgn;

}

val to_yojson : 
  'magnitude 'sgn. ( 'magnitude -> Yojson.Safe.t ) ->
  ( 'sgn -> Yojson.Safe.t ) ->
  ( 'magnitude, 'sgn ) t ->
  Yojson.Safe.t

val of_yojson : 
  'magnitude 'sgn. ( Yojson.Safe.t ->
                     'magnitude Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'sgn Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'magnitude, 'sgn ) t Ppx_deriving_yojson_runtime.error_or

val _ : 
  ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'a, 'b ) t Ppx_deriving_yojson_runtime.error_or

val t_fields_annots : string -> (string * string option) list

val t_toplevel_annots : unit -> (string * string option) list

val t_of_sexp : 
  'magnitude 'sgn. ( Ppx_sexp_conv_lib.Sexp.t -> 'magnitude ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'sgn ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'magnitude, 'sgn ) t

val sexp_of_t : 
  'magnitude 'sgn. ( 'magnitude -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'sgn -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'magnitude, 'sgn ) t ->
  Ppx_sexp_conv_lib.Sexp.t

val hash_fold_t : 
  'magnitude 'sgn. ( Ppx_hash_lib.Std.Hash.state ->
                     'magnitude ->
                     Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'sgn -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'magnitude, 'sgn ) t ->
  Ppx_hash_lib.Std.Hash.state

val compare : 
  'magnitude 'sgn. ( 'magnitude -> 'magnitude -> int ) ->
  ( 'sgn -> 'sgn -> int ) ->
  ( 'magnitude, 'sgn ) t ->
  ( 'magnitude, 'sgn ) t ->
  int

val equal : 
  'magnitude 'sgn. ( 'magnitude -> 'magnitude -> bool ) ->
  ( 'sgn -> 'sgn -> bool ) ->
  ( 'magnitude, 'sgn ) t ->
  ( 'magnitude, 'sgn ) t ->
  bool

val sgn : ( 'a, 'b ) t -> 'c

val magnitude : ( 'a, 'b ) t -> 'c

module Fields : sig ... end

val map : f:( 'a -> 'b ) -> ( 'c, 'd ) t -> ( 'e, 'f ) t