Value.Expr
type t = StateM.Value.Expr.t
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val of_value : 'a t -> t
val ty : t -> 'a ty
val subst : (t -> 'a t) -> t -> 'b t
module Subst : sig ... end