Examples of recursive type without support for them

bare.zig

type TypeId uint

type BoolType void
type I8Type void
type I16Type void
type I32Type void
type I64Type void
type IntType void
type StrType void
type U8Type void
type U16Type void
type U32Type void
type U64Type void
type UintType void

type EnumMember struct {
    name: str
    tag: uint
}

type EnumType list<EnumMember>

type ListType struct {
    valType: TypeId
    # 0 for variable-length
    length: uint
}

type MapType struct {
    keyType: TypeId
    valType: TypeId
}

type StructField struct {
    name: str
    type: TypeId
}

type TypeAlias str

type UnionMember struct {
    type: TypeId
    tag: uint
}

type UnionType list<UnionMember>

type Type union {
    | BoolType
    | I8Type | I16Type | I32Type | I64Type | IntType
    | StrType
    | U8Type | U16Type | U32Type | U64Type | UintType
    | EnumType
    | ListType | MapType
    | TypeAlias
    | StructType | UnionType
}

type Schema list<Type>

json.zig

type ElementId uint

type False void
type True void
type Null void

type Object map<str><ElementId>
type Array list<ElementId>

type Element union {
    | False
    | True
    | Null
    | f64
    | str
    | Object
    | Array
}

type Document list<Element>