Dolmenexpr_to_expr.Builtinval string_ty_cst : DExpr.ty_cstval string_ty : DExpr.tyval float32_ty : DExpr.tyval float64_ty : DExpr.tyval int_to_string : DExpr.term_cstval string_to_int : DExpr.term_cstval real_to_string : DExpr.term_cstval string_to_real : DExpr.term_cstval real_to_uint32 : DExpr.term_cstval trim_string : DExpr.term_cstval f32_to_string : DExpr.term_cstval string_to_f32 : DExpr.term_cstval f64_to_string : DExpr.term_cstval string_to_f64 : DExpr.term_cst