import * as rdfine from '@tpluscode/rdfine'; import type { RdfResourceCore } from '@tpluscode/rdfine/RdfResource'; import type * as RDF from '@rdfjs/types'; import type * as Rdf from '@rdfine/rdf'; import type * as Rdfs from '@rdfine/rdfs'; interface DatatypeEx { datatypeComplementOf: Rdfs.Datatype | undefined; onDatatype: Rdfs.Datatype | undefined; withRestrictions: Rdf.List | undefined; } declare module '@rdfine/rdfs/lib/Datatype' { interface Datatype extends DatatypeEx { } } export declare function DatatypeMixinEx>(Resource: Base): rdfine.Constructor & Base; export declare namespace DatatypeMixinEx { var appliesTo: RDF.NamedNode & RDF.NamedNode<"http://www.w3.org/2000/01/rdf-schema#Datatype">; } export {};