Module Standalone.Context
type ('message, 'pk) t = {
message : 'message; |
public_key : 'pk; |
}
val t_of_sexp :
'message 'pk. ( Ppx_sexp_conv_lib.Sexp.t -> 'message ) ->
( Ppx_sexp_conv_lib.Sexp.t -> 'pk ) ->
Ppx_sexp_conv_lib.Sexp.t ->
( 'message, 'pk ) t
val sexp_of_t :
'message 'pk. ( 'message -> Ppx_sexp_conv_lib.Sexp.t ) ->
( 'pk -> Ppx_sexp_conv_lib.Sexp.t ) ->
( 'message, 'pk ) t ->
Ppx_sexp_conv_lib.Sexp.t
val to_hlist :
( 'message, 'pk ) t ->
( unit, 'message -> 'pk -> unit ) H_list.t
val of_hlist :
( unit, 'message -> 'pk -> unit ) H_list.t ->
( 'message, 'pk ) t