Pattern coverage

Brian Goetz brian.goetz at
Thu Mar 24 17:39:21 UTC 2022

I've put a document at

which outlines a formal model for pattern coverage, including record 
patterns and the effects of sealing.  This refines the work we did 
earlier.  The document may be a bit rough so please let me know if you 
spot any errors.  The approach here should be more amenable to 
specification than the previous approach.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the amber-spec-experts mailing list