import { Result as _Result } from 'literium-base';
export declare type Result<Type> = _Result<Type, string>;
export interface Type<T> {
    p(v: any): Result<T>;
    b(v: T): Result<any>;
}
export interface TypeConv<T, R> {
    (t: Type<T>): Type<R>;
}
export declare type JSType<J> = J extends Type<infer T> ? T : never;