Smtlib2.Sexpr
type t = Dolmen_std.Term.t
exception Not_an_sexpr of t
val view : t -> < id : Dolmen_std.Id.t ; term : t > Dolmen_intf.View.Sexpr.view