Type Alias Fixpoint

Fixpoint:
    | Seed.Nullary
    | Boundable
    | Seed.eq
    | Seed.array<Seed.Fixpoint>
    | Seed.record<Seed.Fixpoint>
    | Seed.optional<Seed.Fixpoint>
    | Seed.tuple<readonly Seed.Fixpoint[]>
    | Seed.union<readonly Seed.Fixpoint[]>
    | Seed.intersect<readonly Seed.Fixpoint[]>
    | Seed.object<[k: string, v: Seed.Fixpoint][]>