CLogic.CExpr
type t =
| SExpr of CSimplExpr.t
| SVal of CSVal.t
| EList of t list
| LstSub of t * t * t
| ESet of t list
| BinOp of t * CBinOp.t * t
| NOp of CNOp.t * t list
| UnOp of CUnOp.t * t
val pp : t Fmt.t