import { Claim, State } from "../types";
export declare let claim_p1: Claim;
export declare let claim_p2: Claim;
export declare let state_p2: State;
export declare let claim_use_p1: Claim;
export declare let claim_use_p2: Claim;
export declare let claim_p3: Claim;
export declare let claim_use_p3: Claim;
export declare let claim_use_p3_err: Claim;
export declare let claim_p4: Claim;
export declare let claim_use_p3_ok: Claim;
export declare let claim_p5: Claim;
export declare let claim_use_p5: Claim;
export declare let claim_p6: Claim;
export declare let claim_p7: Claim;
export declare let claim_apply_simple_types: Claim;
export declare let claim_author_1: Claim;
export declare let claim_author_2: Claim;
export declare let claim_author_3: Claim;
export declare let claim_customer_1: Claim;
export declare let claim_customer_2: Claim;
export declare let claim_book_1: Claim;
export declare let claim_book_2: Claim;
export declare let claim_book_3_fail: Claim;
export declare let claim_book_3: Claim;
export declare let claim_book_4: Claim;