CLogic.CSVal
type t =
| Sint of CSimplExpr.t
| Sfloat of CSimplExpr.t
| Ssingle of CSimplExpr.t
| Slong of CSimplExpr.t
| Sptr of CSimplExpr.t * CSimplExpr.t
| Sfunptr of string
val pp : Stdlib.Format.formatter -> t -> unit