export declare class SimWitchCheckedDirective {
}
export declare class SimWitchUncheckedDirective {
}