@astrale-os/kernel-dsl 0.2.0-beta.4 → 0.2.0-beta.40

package/dist/v1/language/value/compile/model.d.ts

@@ -0,0 +1,42 @@
+import type { Value as JsonValue } from '@astrale-os/kernel-dsl/value';
+export type ScalarRange = readonly [minimum: number, maximum: number];
+export interface PatternTransition {
+    readonly to: number;
+    readonly ranges: readonly ScalarRange[];
+}
+export interface PatternState {
+    readonly epsilon: readonly number[];
+    readonly transitions: readonly PatternTransition[];
+    readonly accepting?: true;
+}
+export interface Pattern {
+    readonly source: string;
+    readonly start: number;
+    readonly states: readonly PatternState[];
+}
+/** A scalar run counts Unicode scalars, never UTF-16 code units. */
+export interface ScalarRun {
+    readonly ranges: readonly ScalarRange[];
+    readonly minimum: number;
+    readonly maximum?: number;
+}
+/** All runs except the last have an exact finite length. */
+export interface RunPattern {
+    readonly source: string;
+    readonly runs: readonly ScalarRun[];
+}
+export interface ValueNode {
+    readonly schema: JsonValue;
+    readonly children: Readonly<Record<string, number>>;
+    readonly reference?: number;
+}
+/** Portable, JSON-safe evaluation program for one admitted ValueSchema. */
+export interface ValueProgram {
+    readonly root: number;
+    readonly nodes: readonly ValueNode[];
+    readonly patterns: readonly (Pattern | RunPattern)[];
+}
+/** Pattern indices belong to the enclosing compiled entry's table. */
+export interface IndexedValueProgram extends Omit<ValueProgram, 'patterns'> {
+    readonly patterns: readonly number[];
+}

package/dist/v1/language/value/compile/model.js

@@ -0,0 +1 @@
+export {};

package/dist/v1/language/value/evaluate/assertions.d.ts

@@ -0,0 +1,8 @@
+import type { Value as JsonValue } from '@astrale-os/kernel-dsl/value';
+export declare function matchesType(input: string, value: JsonValue): boolean;
+export declare function jsonEqual(left: JsonValue, right: JsonValue): boolean;
+/** Count Unicode code points with string-iterator semantics, without a character array. */
+export declare function codePointLength(input: string): number;
+export declare function unique(values: readonly JsonValue[]): boolean;
+/** Compare finite JSON numbers as their exact ECMAScript decimal spellings. */
+export declare function isMultipleOf(value: number, divisor: number): boolean;

package/dist/v1/language/value/evaluate/assertions.js

@@ -0,0 +1,71 @@
+import { equal, json } from '@astrale-os/kernel-dsl/value';
+import { isValueObject as isJsonObject } from '../model/object.js';
+export function matchesType(input, value) {
+    switch (input) {
+        case 'null':
+            return value === null;
+        case 'boolean':
+        case 'number':
+        case 'string':
+            return typeof value === input;
+        case 'integer':
+            return typeof value === 'number' && Number.isInteger(value);
+        case 'array':
+            return Array.isArray(value);
+        case 'object':
+            return isJsonObject(value);
+        default:
+            return false;
+    }
+}
+export function jsonEqual(left, right) {
+    return equal(left, right);
+}
+/** Count Unicode code points with string-iterator semantics, without a character array. */
+export function codePointLength(input) {
+    let length = 0;
+    for (let index = 0; index < input.length; index++, length++) {
+        const first = input.charCodeAt(index);
+        if (first >= 0xd800 && first <= 0xdbff && index + 1 < input.length) {
+            const second = input.charCodeAt(index + 1);
+            if (second >= 0xdc00 && second <= 0xdfff)
+                index++;
+        }
+    }
+    return length;
+}
+export function unique(values) {
+    const seen = new Set();
+    for (const value of values) {
+        const key = json.serialize(value);
+        if (seen.has(key))
+            return false;
+        seen.add(key);
+    }
+    return true;
+}
+/** Compare finite JSON numbers as their exact ECMAScript decimal spellings. */
+export function isMultipleOf(value, divisor) {
+    if (!(divisor > 0))
+        return false;
+    const left = decimalInteger(value);
+    const right = decimalInteger(divisor);
+    const exponent = Math.min(left.exponent, right.exponent);
+    const dividend = left.coefficient * powerOfTen(left.exponent - exponent);
+    const factor = right.coefficient * powerOfTen(right.exponent - exponent);
+    return dividend % factor === 0n;
+}
+function decimalInteger(input) {
+    const source = input.toString().toLowerCase();
+    const [mantissa = '', exponentSource = '0'] = source.split('e');
+    const negative = mantissa.startsWith('-');
+    const unsigned = negative ? mantissa.slice(1) : mantissa;
+    const point = unsigned.indexOf('.');
+    const fractionDigits = point === -1 ? 0 : unsigned.length - point - 1;
+    const digits = unsigned.replace('.', '');
+    const coefficient = BigInt(`${negative ? '-' : ''}${digits}`);
+    return { coefficient, exponent: Number(exponentSource) - fractionDigits };
+}
+function powerOfTen(exponent) {
+    return 10n ** BigInt(exponent);
+}

package/dist/v1/language/value/evaluate/evaluator.d.ts

@@ -0,0 +1,4 @@
+import type { Value as JsonValue } from '@astrale-os/kernel-dsl/value';
+import type { CompiledInstanceSchema, Evaluation } from './types.js';
+/** Evaluate complete Draft 2020-12 acceptance without dynamic source generation. */
+export declare function evaluateInstance(compiled: CompiledInstanceSchema, input: JsonValue): Evaluation;

package/dist/v1/language/value/evaluate/evaluator.js

@@ -0,0 +1,426 @@
+import { isCanonicalBlobRef } from '../model/blob.js';
+import { isInstantValue } from '../model/instant.js';
+import { isValueObject as isJsonObject } from '../model/object.js';
+import { appendPointer } from '../syntax/pointer.js';
+import { codePointLength, isMultipleOf, jsonEqual, matchesType, unique } from './assertions.js';
+import { evaluation, mergeAnnotations } from './types.js';
+/** Evaluate complete Draft 2020-12 acceptance without dynamic source generation. */
+export function evaluateInstance(compiled, input) {
+    return new InstanceEvaluator(compiled).evaluate(compiled.root, input, '');
+}
+/** Bound per-call retention independently of the size or diversity of an input value. */
+const MAX_CACHED_PATTERN_RESULTS = 256;
+const MAX_CACHED_PATTERN_INPUT_LENGTH = 128;
+class InstanceEvaluator {
+    compiled;
+    active = new Set();
+    searchResults = new Map();
+    fullMatchResults = new Map();
+    patternResultCount = 0;
+    constructor(compiled) {
+        this.compiled = compiled;
+    }
+    evaluate(location, input, instancePointer) {
+        const activeKey = `${location.key}\u0000${instancePointer}`;
+        if (this.active.has(activeKey)) {
+            throw new TypeError('Admitted value schema entered a non-productive evaluation cycle.');
+        }
+        this.active.add(activeKey);
+        try {
+            if (location.schema === true)
+                return evaluation();
+            if (location.schema === false) {
+                return evaluation([
+                    invalid(instancePointer, 'false', 'The false schema rejects every value.'),
+                ]);
+            }
+            return this.evaluateObjectSchema(location, location.schema, input, instancePointer);
+        }
+        finally {
+            this.active.delete(activeKey);
+        }
+    }
+    evaluateObjectSchema(location, schema, input, instancePointer) {
+        const failures = [];
+        const properties = new Set();
+        const items = new Set();
+        const absorbSameLocation = (result) => {
+            if (result.valid)
+                mergeAnnotations(properties, items, result);
+            else
+                failures.push(...result.failures);
+        };
+        if (Object.hasOwn(schema, '$ref')) {
+            const target = this.compiled.reference(location);
+            if (target === undefined) {
+                throw new TypeError('Admitted value schema reference has no prepared resolution.');
+            }
+            absorbSameLocation(this.evaluate(target, input, instancePointer));
+        }
+        this.evaluateCompositions(location, schema, input, instancePointer, failures, properties, items);
+        this.evaluateCommonAssertions(schema, input, instancePointer, failures);
+        if (typeof input === 'number') {
+            this.evaluateNumberAssertions(schema, input, instancePointer, failures);
+        }
+        if (typeof input === 'string') {
+            this.evaluateStringAssertions(schema, input, instancePointer, failures);
+        }
+        if (Array.isArray(input)) {
+            this.evaluateArray(location, schema, input, instancePointer, failures, properties, items);
+        }
+        else if (isJsonObject(input)) {
+            this.evaluateObject(location, schema, input, instancePointer, failures, properties, items);
+        }
+        return evaluation(failures, properties, items);
+    }
+    evaluateCompositions(location, schema, input, instancePointer, failures, properties, items) {
+        const absorb = (result) => {
+            if (result.valid)
+                mergeAnnotations(properties, items, result);
+            else
+                failures.push(...result.failures);
+        };
+        const allOf = schemaList(schema.allOf);
+        allOf?.forEach((_, index) => {
+            absorb(this.evaluate(this.child(location, 'allOf', index), input, instancePointer));
+        });
+        const anyOf = schemaList(schema.anyOf);
+        if (anyOf !== undefined) {
+            let admitted = 0;
+            anyOf.forEach((_, index) => {
+                const branch = this.child(location, 'anyOf', index);
+                if (contradictsRequiredConst(branch.schema, input))
+                    return;
+                const result = this.evaluate(branch, input, instancePointer);
+                if (!result.valid)
+                    return;
+                admitted += 1;
+                mergeAnnotations(properties, items, result);
+            });
+            if (admitted === 0) {
+                failures.push(invalid(instancePointer, 'anyOf', 'Value satisfies no anyOf branch.'));
+            }
+        }
+        const oneOf = schemaList(schema.oneOf);
+        if (oneOf !== undefined) {
+            const admitted = oneOf
+                .map((_, index) => this.evaluate(this.child(location, 'oneOf', index), input, instancePointer))
+                .filter(({ valid }) => valid);
+            if (admitted.length !== 1) {
+                failures.push(invalid(instancePointer, 'oneOf', 'Value must satisfy exactly one oneOf branch.'));
+            }
+            else {
+                mergeAnnotations(properties, items, admitted[0]);
+            }
+        }
+        if (isSchema(schema.not)) {
+            const result = this.evaluate(this.child(location, 'not'), input, instancePointer);
+            if (result.valid)
+                failures.push(invalid(instancePointer, 'not', 'Value satisfies not.'));
+        }
+        if (isSchema(schema.if)) {
+            const condition = this.evaluate(this.child(location, 'if'), input, instancePointer);
+            if (condition.valid)
+                mergeAnnotations(properties, items, condition);
+            const branch = condition.valid ? 'then' : 'else';
+            if (isSchema(schema[branch])) {
+                absorb(this.evaluate(this.child(location, branch), input, instancePointer));
+            }
+        }
+    }
+    evaluateCommonAssertions(schema, input, instancePointer, failures) {
+        if (schema['x-astrale-value-kind'] === 'instant' && !isInstantValue(input)) {
+            failures.push(invalid(instancePointer, 'x-astrale-value-kind', 'Value is not an exact UTC millisecond Instant.'));
+        }
+        if (schema['x-astrale-value-kind'] === 'blob' && !isCanonicalBlobRef(input)) {
+            failures.push(invalid(instancePointer, 'x-astrale-value-kind', 'Value is not a canonical blob Ref.'));
+        }
+        if (typeof schema.type === 'string') {
+            if (!matchesType(schema.type, input)) {
+                failures.push(invalid(instancePointer, 'type', `Value is not of type ${schema.type}.`));
+            }
+        }
+        else if (Array.isArray(schema.type) &&
+            !schema.type.some((candidate) => typeof candidate === 'string' ? matchesType(candidate, input) : false)) {
+            failures.push(invalid(instancePointer, 'type', 'Value matches none of the admitted types.'));
+        }
+        if (Object.hasOwn(schema, 'const') && !jsonEqual(input, schema.const)) {
+            failures.push(invalid(instancePointer, 'const', 'Value differs from const.'));
+        }
+        if (Array.isArray(schema.enum) &&
+            !schema.enum.some((candidate) => jsonEqual(input, candidate))) {
+            failures.push(invalid(instancePointer, 'enum', 'Value is absent from enum.'));
+        }
+    }
+    evaluateNumberAssertions(schema, input, instancePointer, failures) {
+        if (typeof schema.multipleOf === 'number' && !isMultipleOf(input, schema.multipleOf)) {
+            failures.push(invalid(instancePointer, 'multipleOf', 'Number is not an exact multiple.'));
+        }
+        if (typeof schema.maximum === 'number' && input > schema.maximum) {
+            failures.push(invalid(instancePointer, 'maximum', 'Number exceeds maximum.'));
+        }
+        if (typeof schema.exclusiveMaximum === 'number' && input >= schema.exclusiveMaximum) {
+            failures.push(invalid(instancePointer, 'exclusiveMaximum', 'Number reaches exclusiveMaximum.'));
+        }
+        if (typeof schema.minimum === 'number' && input < schema.minimum) {
+            failures.push(invalid(instancePointer, 'minimum', 'Number is below minimum.'));
+        }
+        if (typeof schema.exclusiveMinimum === 'number' && input <= schema.exclusiveMinimum) {
+            failures.push(invalid(instancePointer, 'exclusiveMinimum', 'Number reaches exclusiveMinimum.'));
+        }
+    }
+    evaluateStringAssertions(schema, input, instancePointer, failures) {
+        // For n UTF-16 units, ceil(n / 2) <= code points <= n. Count only if those
+        // bounds cannot already prove both length assertions; other assertions still run.
+        if ((typeof schema.maxLength === 'number' && input.length > schema.maxLength) ||
+            (typeof schema.minLength === 'number' && Math.ceil(input.length / 2) < schema.minLength)) {
+            const length = codePointLength(input);
+            if (typeof schema.maxLength === 'number' && length > schema.maxLength) {
+                failures.push(invalid(instancePointer, 'maxLength', 'String exceeds maxLength.'));
+            }
+            if (typeof schema.minLength === 'number' && length < schema.minLength) {
+                failures.push(invalid(instancePointer, 'minLength', 'String is below minLength.'));
+            }
+        }
+        if (typeof schema.pattern === 'string' && !this.matchesPattern(schema.pattern, input, false)) {
+            failures.push(invalid(instancePointer, 'pattern', 'String does not match pattern.'));
+        }
+        if (typeof schema.fullMatch === 'string' &&
+            !this.matchesPattern(schema.fullMatch, input, true)) {
+            failures.push(invalid(instancePointer, 'fullMatch', 'String does not match fullMatch.'));
+        }
+    }
+    evaluateArray(location, schema, input, instancePointer, failures, _properties, items) {
+        if (typeof schema.maxItems === 'number' && input.length > schema.maxItems) {
+            failures.push(invalid(instancePointer, 'maxItems', 'Array exceeds maxItems.'));
+        }
+        if (typeof schema.minItems === 'number' && input.length < schema.minItems) {
+            failures.push(invalid(instancePointer, 'minItems', 'Array is below minItems.'));
+        }
+        if (schema.uniqueItems === true && !unique(input)) {
+            failures.push(invalid(instancePointer, 'uniqueItems', 'Array items are not unique.'));
+        }
+        const prefixItems = schemaList(schema.prefixItems) ?? [];
+        const presentPrefix = Math.min(prefixItems.length, input.length);
+        let prefixValid = true;
+        for (let index = 0; index < presentPrefix; index++) {
+            const result = this.evaluate(this.child(location, 'prefixItems', index), input[index], appendPointer(instancePointer, index));
+            if (!result.valid) {
+                prefixValid = false;
+                failures.push(...result.failures);
+            }
+        }
+        if (prefixValid) {
+            for (let index = 0; index < presentPrefix; index++)
+                items.add(index);
+        }
+        if (isSchema(schema.items)) {
+            let itemValid = true;
+            const admitted = [];
+            for (let index = prefixItems.length; index < input.length; index++) {
+                const result = this.evaluate(this.child(location, 'items'), input[index], appendPointer(instancePointer, index));
+                if (result.valid)
+                    admitted.push(index);
+                else {
+                    itemValid = false;
+                    failures.push(...result.failures);
+                }
+            }
+            if (itemValid)
+                admitted.forEach((index) => items.add(index));
+        }
+        if (isSchema(schema.contains)) {
+            const matches = [];
+            for (let index = 0; index < input.length; index++) {
+                const result = this.evaluate(this.child(location, 'contains'), input[index], appendPointer(instancePointer, index));
+                if (result.valid)
+                    matches.push(index);
+            }
+            const minimum = typeof schema.minContains === 'number' ? schema.minContains : 1;
+            const maximum = typeof schema.maxContains === 'number' ? schema.maxContains : Number.POSITIVE_INFINITY;
+            if (matches.length < minimum || matches.length > maximum) {
+                failures.push(invalid(instancePointer, 'contains', 'Array has an invalid number of contains matches.'));
+            }
+            else {
+                matches.forEach((index) => items.add(index));
+            }
+        }
+        if (isSchema(schema.unevaluatedItems)) {
+            let valid = true;
+            const admitted = [];
+            for (let index = 0; index < input.length; index++) {
+                if (items.has(index))
+                    continue;
+                const result = this.evaluate(this.child(location, 'unevaluatedItems'), input[index], appendPointer(instancePointer, index));
+                if (result.valid)
+                    admitted.push(index);
+                else {
+                    valid = false;
+                    failures.push(...result.failures);
+                }
+            }
+            if (valid)
+                admitted.forEach((index) => items.add(index));
+        }
+    }
+    evaluateObject(location, schema, input, instancePointer, failures, properties, _items) {
+        const names = Object.keys(input);
+        if (typeof schema.maxProperties === 'number' && names.length > schema.maxProperties) {
+            failures.push(invalid(instancePointer, 'maxProperties', 'Object exceeds maxProperties.'));
+        }
+        if (typeof schema.minProperties === 'number' && names.length < schema.minProperties) {
+            failures.push(invalid(instancePointer, 'minProperties', 'Object is below minProperties.'));
+        }
+        if (Array.isArray(schema.required)) {
+            for (const name of schema.required) {
+                if (typeof name === 'string' && !Object.hasOwn(input, name)) {
+                    failures.push(invalid(instancePointer, 'required', `Object is missing required property ${name}.`));
+                }
+            }
+        }
+        if (isJsonObject(schema.dependentRequired)) {
+            for (const [name, required] of Object.entries(schema.dependentRequired)) {
+                if (!Object.hasOwn(input, name) || !Array.isArray(required))
+                    continue;
+                for (const dependency of required) {
+                    if (typeof dependency === 'string' && !Object.hasOwn(input, dependency)) {
+                        failures.push(invalid(instancePointer, 'dependentRequired', `Property ${name} requires property ${dependency}.`));
+                    }
+                }
+            }
+        }
+        const declared = isJsonObject(schema.properties) ? schema.properties : {};
+        const declaredPresent = Object.keys(declared).filter((name) => Object.hasOwn(input, name));
+        let declaredValid = true;
+        for (const name of declaredPresent) {
+            const result = this.evaluate(this.child(location, 'properties', name), input[name], appendPointer(instancePointer, name));
+            if (!result.valid) {
+                declaredValid = false;
+                failures.push(...result.failures);
+            }
+        }
+        if (declaredValid)
+            declaredPresent.forEach((name) => properties.add(name));
+        const patterns = isJsonObject(schema.patternProperties) ? schema.patternProperties : {};
+        const patternMatched = new Set();
+        let patternsValid = true;
+        for (const pattern of Object.keys(patterns)) {
+            for (const name of names) {
+                if (!this.matchesPattern(pattern, name, false))
+                    continue;
+                patternMatched.add(name);
+                const result = this.evaluate(this.child(location, 'patternProperties', pattern), input[name], appendPointer(instancePointer, name));
+                if (!result.valid) {
+                    patternsValid = false;
+                    failures.push(...result.failures);
+                }
+            }
+        }
+        if (patternsValid)
+            patternMatched.forEach((name) => properties.add(name));
+        if (isSchema(schema.additionalProperties)) {
+            const additional = names.filter((name) => !Object.hasOwn(declared, name) && !patternMatched.has(name));
+            let additionalValid = true;
+            for (const name of additional) {
+                const result = this.evaluate(this.child(location, 'additionalProperties'), input[name], appendPointer(instancePointer, name));
+                if (!result.valid) {
+                    additionalValid = false;
+                    failures.push(...result.failures);
+                }
+            }
+            if (additionalValid)
+                additional.forEach((name) => properties.add(name));
+        }
+        if (isSchema(schema.propertyNames)) {
+            for (const name of names) {
+                const result = this.evaluate(this.child(location, 'propertyNames'), name, appendPointer(instancePointer, name));
+                if (!result.valid)
+                    failures.push(...result.failures);
+            }
+        }
+        if (isJsonObject(schema.dependentSchemas)) {
+            for (const name of Object.keys(schema.dependentSchemas)) {
+                if (!Object.hasOwn(input, name))
+                    continue;
+                const result = this.evaluate(this.child(location, 'dependentSchemas', name), input, instancePointer);
+                if (result.valid)
+                    mergeAnnotations(properties, new Set(), result);
+                else
+                    failures.push(...result.failures);
+            }
+        }
+        if (isSchema(schema.unevaluatedProperties)) {
+            const unevaluated = names.filter((name) => !properties.has(name));
+            let valid = true;
+            const admitted = [];
+            for (const name of unevaluated) {
+                const result = this.evaluate(this.child(location, 'unevaluatedProperties'), input[name], appendPointer(instancePointer, name));
+                if (result.valid)
+                    admitted.push(name);
+                else {
+                    valid = false;
+                    failures.push(...result.failures);
+                }
+            }
+            if (valid)
+                admitted.forEach((name) => properties.add(name));
+        }
+    }
+    child(parent, keyword, member) {
+        return this.compiled.child(parent, keyword, member);
+    }
+    matchesPattern(source, input, whole) {
+        const cacheable = input.length <= MAX_CACHED_PATTERN_INPUT_LENGTH;
+        const cache = whole ? this.fullMatchResults : this.searchResults;
+        if (cacheable) {
+            const found = cache.get(source)?.get(input);
+            if (found !== undefined)
+                return found;
+        }
+        const matcher = this.compiled.matcher(source);
+        const result = whole ? matcher.matches(input) : matcher.test(input);
+        if (cacheable && this.patternResultCount < MAX_CACHED_PATTERN_RESULTS) {
+            let values = cache.get(source);
+            if (values === undefined) {
+                values = new Map();
+                cache.set(source, values);
+            }
+            values.set(input, result);
+            this.patternResultCount++;
+        }
+        return result;
+    }
+}
+/** A required property with a different primitive const makes the entire branch impossible. */
+function contradictsRequiredConst(schema, input) {
+    if (!isJsonObject(schema) || !isJsonObject(input) || !Array.isArray(schema.required)) {
+        return false;
+    }
+    if (!isJsonObject(schema.properties))
+        return false;
+    for (const key of schema.required) {
+        if (typeof key !== 'string' || !Object.hasOwn(input, key))
+            continue;
+        const property = schema.properties[key];
+        if (!isJsonObject(property) || !Object.hasOwn(property, 'const'))
+            continue;
+        const expected = property.const;
+        if ((expected === null ||
+            typeof expected === 'string' ||
+            typeof expected === 'number' ||
+            typeof expected === 'boolean') &&
+            input[key] !== expected) {
+            return true;
+        }
+    }
+    return false;
+}
+function schemaList(input) {
+    return Array.isArray(input) ? input : undefined;
+}
+function isSchema(input) {
+    return typeof input === 'boolean' || isJsonObject(input);
+}
+function invalid(instancePointer, keyword, message) {
+    return { instancePointer, keyword, message };
+}

package/dist/v1/language/value/evaluate/preparation.d.ts

@@ -0,0 +1,22 @@
+import type { JsonSchema } from '../model/schema.js';
+import type { ValueSchemaRegistry } from '../reference/registry.js';
+import type { IRegexpMatcher } from '../regexp/matcher.js';
+import type { CompiledInstanceSchema } from './types.js';
+import { compilePattern } from '../regexp/compile.js';
+export type InstanceSchemaCompilation = {
+    readonly compiled: true;
+    readonly value: CompiledInstanceSchema;
+} | {
+    readonly compiled: false;
+    readonly message: string;
+};
+/** Owned by one compilation or source-resolution closure, not retained process-globally. */
+interface PreparedPattern {
+    readonly pattern: ReturnType<typeof compilePattern>;
+    readonly matcher: IRegexpMatcher;
+}
+export type PatternPool = Map<string, PreparedPattern>;
+/** Prepare reference and linear-regexp state without generating executable source. */
+export declare function prepareValueSchema(schema: JsonSchema, registry: ValueSchemaRegistry, pointer: string, pool?: PatternPool): InstanceSchemaCompilation;
+export declare function childKey(pointer: string): string;
+export {};