import { EndpointDefinition } from "./typesystem";
import { Interaction } from "./interaction";
/**
 * An interaction checker that aims to be as strict as possible.
 * It is designed to catch programmer errors such as:
 *  - incorrect types of contract call arguments
 *  - errors related to calling "non-payable" functions with some value provided
 *  - gas estimation errors (not yet implemented)
 */
export declare class InteractionChecker {
    checkInteraction(interaction: Interaction, definition: EndpointDefinition): void;
    private checkPayable;
    private checkArguments;
}