{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://openeik.org/schemas/0.1/proposed/ifc-read/object-type.schema.json",
  "$comment": "Proposed for OpenEik 0.2: Part VIII, 2.2, rule 1. Written by hand, not generated. In 0.1, ifcSource.objectType is a member the element and type schemas do not know, kept; a validator holds it to this schema only when asked for the proposal (@openeik/tools: proposals [\"ifc-read\"]).",
  "title": "The user-defined type a record was read with",
  "description": "Where the predefined type a record was read with is USERDEFINED (`ifcSource.predefinedType`), the type its object named for it: an occurrence's ObjectType, a type's ElementType, as IFC holds it, at most 255 characters.",
  "type": "string",
  "minLength": 1,
  "maxLength": 255
}