import type { Assert, Predicate } from './prelude.js';
declare const ok: <T>(a: Assert<T>) => Predicate;
export default ok;