Module Var.And_value

type t =
| T : 'a var * 'a -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t