Formally define what it means for various indices to be 'null'

microsoft / ifc-spec

IFC format specification

Creative Commons Attribution 4.0 International

71 stars 7 forks source link

Formally define what it means for various indices to be 'null' #144

Open cdacamar opened 9 months ago

cdacamar commented 9 months ago

The spec references cases where an index or offset is 'null' but never formally defines what it means to be 'null'. It would be useful to have a formal definition for null indices, offsets, etc.