Make.Context
type t = ( Message.value, Public_key.t ) Context.t
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
type var = ( Message.var, Public_key.var ) Context.t
val typ : ( var, t ) Impl.Typ.t