public HashConstructor(Maplet/*!*/[]/*!*/ maplets, SourceSpan location) : base(location) { Assert.NotNullItems(maplets); _maplets = maplets; }