Ast.Script
type nonrec t = t list
val const : Symbol.t -> t
val assert_ : Expr.t -> t
val of_exprs : Expr.t list -> t
val pp : t list Fmt.t