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