law File
import Base106# A handle is opaque, a law with no constructor and no field, so no
107# program forges one, and linear (Type), so none copies or reuses one.
108law File:
109 Type
Uses (0)
This definition uses no other definition.
import Base106# A handle is opaque, a law with no constructor and no field, so no
107# program forges one, and linear (Type), so none copies or reuses one.
108law File:
109 Type
This definition uses no other definition.