Module Pairing.Extended_projective
type 'a t = {
x : 'a;
y : 'a;
z : 'a;
t : 'a;
}
val t_of_sexp :
'a. (Ppx_sexp_conv_lib.Sexp.t -> 'a) ->
Ppx_sexp_conv_lib.Sexp.t ->
'a t
val sexp_of_t :
'a. ('a -> Ppx_sexp_conv_lib.Sexp.t) ->
'a t ->
Ppx_sexp_conv_lib.Sexp.t