import * as t from 'tcomb';
export declare const PositiveInteger: t.Refinement<number>;