On 04/01/2017 02:53 PM, Marko Schütz-Schmuck wrote: > I noticed the user of the policy keyword, but was unable to find any > documentation on it. Is it documented somewhere? Only in this paper: http://adam.chlipala.net/papers/UrFlowOSDI10/ and this demo: http://www.impredicative.com/ur/scdv/ (It's not a production-quality feature.)