Module Make_Symbolic.Val

val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val equal : t -> t -> bool
val pp : Stdlib.Format.formatter -> t -> unit
val full_pp : Stdlib.Format.formatter -> t -> unit
val full_pp_list : Stdlib.Format.formatter -> t list -> unit
val to_literal : t -> Gillian.Gil_syntax.Literal.t option
val from_literal : Gillian.Gil_syntax.Literal.t -> t
val to_expr : t -> Gillian.Gil_syntax.Expr.t
val from_expr : Gillian.Gil_syntax.Expr.t -> t option
val from_list : t list -> t
val from_lvar_name : string -> t
val to_list : t -> t list option