@rdfine/owl/lib/AllDifferent.d.ts

> ## @rdfine/owl > ### Generated JavaScript types for OWL Web Ontology Language

import '../extensions/rdfs/Resource.js';
import * as rdfine from '@tpluscode/rdfine';
import { RdfineEnvironment } from '@tpluscode/rdfine/environment';
import type * as RDF from '@rdfjs/types';
import type { RdfResourceCore } from '@tpluscode/rdfine/RdfResource';
import type * as Owl from '../index.js';
import type * as Rdf from '@rdfine/rdf';
import type * as Rdfs from '@rdfine/rdfs';
export interface AllDifferent<D extends RDF.DatasetCore = RDF.DatasetCore> extends Rdfs.Resource<D>, rdfine.RdfResource<D> {
    distinctMembers: Rdf.List<D> | undefined;
}
export declare function AllDifferentMixin<Base extends rdfine.Constructor>(Resource: Base): rdfine.Constructor<AllDifferent & RdfResourceCore> & Base;
export declare namespace AllDifferentMixin {
    var appliesTo: RDF.NamedNode<string> & RDF.NamedNode<"http://www.w3.org/2002/07/owl#AllDifferent">;
    var createFactory: (env: RdfineEnvironment) => import("@tpluscode/rdfine/factory").FullFactory<Owl.AllDifferent<RDF.DatasetCore<RDF.Quad, RDF.Quad>>> & import("@tpluscode/rdfine/factory").CurriedFactory<Owl.AllDifferent<RDF.DatasetCore<RDF.Quad, RDF.Quad>>> & import("@tpluscode/rdfine/factory").CurriedBlankFactory<Owl.AllDifferent<RDF.DatasetCore<RDF.Quad, RDF.Quad>>>;
}