let subst_result frame v_opt p = let v = match v_opt with | Some v -> Some (mvalue_of_value v) | None -> None in M.subst_result frame.mframe v p