2021-03-09 18:29:31 +00:00
|
|
|
export * from './runtime';
|
2021-01-07 16:41:46 +00:00
|
|
|
export * as Constants from './constants';
|
2024-05-02 15:05:40 +00:00
|
|
|
export * as Pexpr from './pexpr';
|
2021-03-09 14:59:40 +00:00
|
|
|
|
2024-03-12 16:47:38 +00:00
|
|
|
import type { Embeddable } from './embedded';
|
2022-01-22 22:38:02 +00:00
|
|
|
import type { Value } from './values';
|
|
|
|
|
|
|
|
declare global {
|
|
|
|
interface ArrayConstructor {
|
2024-03-12 16:47:38 +00:00
|
|
|
__from_preserve__<T extends Embeddable>(v: Value<T>): undefined | Array<Value<T>>;
|
2022-01-22 22:38:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-03-12 16:47:38 +00:00
|
|
|
Array.__from_preserve__ = <T extends Embeddable>(v: Value<T>) => {
|
2022-01-22 22:38:02 +00:00
|
|
|
return Array.isArray(v) ? v : void 0;
|
|
|
|
};
|
|
|
|
|
2021-03-09 14:59:40 +00:00
|
|
|
const _Array = Array;
|
|
|
|
type _Array<T> = Array<T>;
|
|
|
|
export { _Array as Array };
|
2021-12-09 17:35:17 +00:00
|
|
|
|
|
|
|
const _Symbol = Symbol;
|
|
|
|
type _Symbol = Symbol;
|
|
|
|
export { _Symbol as Symbol };
|