Skip to content
  • Ralf Jung's avatar
    let find_pat treat "Typeclass Opaque" definitions opaquely · b55c40d6
    Ralf Jung authored
    In principle, we could now un-seal heap_mapsto, saved_prop_own etc., and mark them as "Typeclass Opaque", and ecancel would still work just as fast as it does now.
    Thanks to Matthieu for pointing me to this unify feature.