CLogic.CConstructor
type t =
| ConsExpr of CExpr.t
| ConsStruct of string * CExpr.t list
val pp : Stdlib.Format.formatter -> t -> unit