import { Expl } from "./Expl"; import { DataValueTag, Value } from "./Value"; export declare class DataValue extends Value { readonly ctr: string; __child(k: keyof this): Value; readonly __children: Value[]; } export declare class ExplValue extends DataValue<"ExplValue"> { t: Expl; v: T; } export declare function explValue(t: Expl, v: T): ExplValue;