export declare function implies<A, B extends A>(
  ab: Refinement<A, B>
): <C extends A>(bc: Refinement<A, C>) => Refinement<A, Extract<Exclude<B, A>, C>>

export declare function not<E, A extends E>(fa: Refinement<E, A>)

export declare const Refinement: any

export declare function fromDefinement<A, B>(definement: DF.Definement<A, B>): Refinement<A, Extract<B, A>>

export declare function fromPredicate<A, B extends A>(predicate: PR.Predicate<A>): Refinement<A, B>

export declare function getIs<A>(value: A): Refinement<unknown, A>

export declare function getIsLiteral<A extends PR.Primitive>(value: A): Refinement<unknown, A>

export declare function toDefinement<E, A extends E>(refinement: Refinement<E, A>): DF.Definement<E, A>

export declare function toPredicate<E>(refinement: Refinement<E, any>): PR.Predicate<E>

export declare function getLattice<E, A extends E>(): Lattice<Refinement<E, A>>

export declare function join<A, B extends A>(
  ab: Refinement<A, B>
): <C extends B>(bc: Refinement<B, C>) => Refinement<A, B | C>

export declare function meet<A, B extends A, C extends B>(
  bc: Refinement<B, C>
): (ab: Refinement<A, B>) => Refinement<A, B & C>

export declare const isBoolean: Refinement<unknown, boolean>

export declare const isFalse: Refinement<unknown, false>

export declare const isNull: Refinement<unknown, null>

export declare const isNullable: Refinement<unknown, null>

export declare const isNumber: Refinement<unknown, number>

export declare const isString: Refinement<unknown, string>

export declare const isTrue: Refinement<unknown, true>

export declare const isUndefined: Refinement<unknown, undefined>