public ArrayDefinition(TypeDefinition elementType) { Contract.Requires(elementType != null); this.ElementType = elementType; }