1	import Base
2	
3	# Trusted schema provisioning. An affine view can replace its returned owner.
4	# Its use requires exclusive storage access and does not establish purity.
5	type Affine<-P:Type,-V:Data,-project:P -> P & V> is Data:
6	  Affine{}
7	def trusted_affine(~P:Type,~V:Data,~project:P -> P & V) -> Affine<P,V,project>:
8	  Affine{}