| http://www.w3.org/ns/prov#value | - Moreover, in contrast to class declarations and other type declarations, synonyms are not entered into the global environment as a global TyThing. (TypeRep.TyThing is a sum type that combines the various flavours of typish entities, such that they can be stuck into type environments and similar.)
|
