import * as t from "io-ts/lib/index.js";
import { POSIXTime } from "@marlowe.io/adapter/time";
/**
 * @hidden
 */
export declare const mkEnvironment: (start: Date) => (end: Date) => Environment;
/**
 * Time interval in which the contract is executed. It is defined by a start and end time. The time is represented as a POSIX time.
 * @see Appendix E.16 of the {@link https://github.com/input-output-hk/marlowe/releases/download/v3/Marlowe.pdf | Marlowe specification}
 * @category Environment
 */
export interface TimeInterval {
    from: POSIXTime;
    to: POSIXTime;
}
/**
 * Guard for {@link TimeInterval}
 * @see Appendix E.16 of the {@link https://github.com/input-output-hk/marlowe/releases/download/v3/Marlowe.pdf | Marlowe specification}
 * @category Environment
 */
export declare const TimeIntervalGuard: t.Type<TimeInterval>;
/**
 * Time interval in which the contract is executed.
 * @see Section 2.1.10 and appendix E.22 of the {@link https://github.com/input-output-hk/marlowe/releases/download/v3/Marlowe.pdf | Marlowe specification}
 * @category Environment
 */
export interface Environment {
    timeInterval: TimeInterval;
}
/**
 * Guard for {@link Environment}
 * @see Section 2.1.10 and appendix E.22 of the {@link https://github.com/input-output-hk/marlowe/releases/download/v3/Marlowe.pdf | Marlowe specification}
 * @category Environment
 */
export declare const EnvironmentGuard: t.Type<Environment>;
//# sourceMappingURL=environment.d.ts.map