Module `Smtml.Dolmenexpr_to_expr`

module DExpr = Dolmen_std.Expr

module DTy = DExpr.Ty

module DTerm = DExpr.Term

module DM = Dolmen_model

module Builtin : sig ... end

module DolmenIntf : sig ... end