import * as t from 'io-ts';
import * as NZI from './NonZeroInteger';
import * as I from './Integer';
import * as ER from './ExchangeRate';
import * as D from './Discrete';
import * as N from './Natural';
import * as NZR from './NonZeroRational';
import * as PR from './PositiveRational';
import * as RTN from './Rational';
import * as bigInteger from 'big-integer';
import { Dense } from './Dense';
export declare const BigInteger: t.Type<bigInteger.BigInteger, string, unknown>;
export declare const getDense: <D extends string>(dimension: D) => t.Type<Dense<D>, [string, string], unknown>;
export declare const getDiscrete: <D extends string, U extends string>(dimension: D, unit: U) => t.Type<D.Discrete<D, U>, string, unknown>;
export declare const ExchangeRate: <S, D>() => t.Type<ER.ExchangeRate<S, D>, [string, string], unknown>;
export declare const Integer: t.Type<I.Integer, string, t.mixed>;
export declare const Natural: t.Type<N.Natural, string, t.mixed>;
export declare const NonZeroInteger: t.Type<NZI.NonZeroInteger, string, t.mixed>;
export declare const NonZeroRational: t.Type<NZR.NonZeroRational, [string, string], t.mixed>;
export declare const PositiveRational: t.Type<PR.PositiveRational, [string, string], t.mixed>;
export declare const Rational: t.Type<RTN.Rational, [string, string], t.mixed>;