import type * as RDF from '@rdfjs/types';
import type { ContextDefinition, DatasetClauses, Path, PatternValues, SparqlQuery, Term, TripleCollection, TripleNesting, TermIri, TermBlank, TermLiteral, TermVariable } from '@traqula/rules-sparql-1-1';
import * as Algebra from '../algebra.js';
import type { AlgebraIndir } from './core.js';
export declare const translateNamed: AlgebraIndir<'translateNamed', RDF.NamedNode, [TermIri]>;
export type AstToRdfTerm<T extends Term> = T extends TermVariable ? RDF.Variable : T extends TermBlank ? RDF.BlankNode : T extends TermLiteral ? RDF.Literal : T extends TermIri ? RDF.NamedNode : never;
export declare const translateTerm: AlgebraIndir<'translateTerm', RDF.Term, [Term]>;
export declare const registerContextDefinitions: AlgebraIndir<'registerContextDefinitions', void, [ContextDefinition[]]>;
export declare const translateInlineData: AlgebraIndir<'translateInlineData', Algebra.Values, [PatternValues]>;
export declare const translateDatasetClause: AlgebraIndir<'translateDatasetClause', {
    default: RDF.NamedNode[];
    named: RDF.NamedNode[];
}, [DatasetClauses]>;
export declare const translateBlankNodesToVariables: AlgebraIndir<'translateBlankNodesToVariables', Algebra.Operation, [Algebra.Operation]>;
/**
 * Will be used to make sure new variables don't overlap
 */
export declare const findAllVariables: AlgebraIndir<'findAllVariables', void, [object]>;
/**
 * 18.2.1
 */
export declare const inScopeVariables: AlgebraIndir<'inScopeVariables', Set<string>, [SparqlQuery | TripleNesting | TripleCollection | Path | Term]>;
export declare const generateFreshVar: AlgebraIndir<'generateFreshVar', RDF.Variable, []>;