CLogic.CSimplExpr
type t =
| PVar of string
| LVar of string
| Loc of string
| Int of Z.t
| Bool of bool
| String of string
val pp : Stdlib.Format.formatter -> t -> unit