1	import Base
2	import ./relation_types.bend as T
3	
4	# Authority and persistence are independent properties of a canonical leaf.
5	type Policy is Type:
6	  Ordinary{}
7	  ProtectedRelation{S:Data,descriptor:T.Descriptor<S>}
8	  ProtectedLifetimeScope{S:Data}
9	def generic_write(policy:Policy) -> Bool:
10	  match policy:
11	    case Ordinary{}:True{}
12	    case ProtectedRelation{_,_}:False{}
13	    case ProtectedLifetimeScope{_}:False{}