handle_rtcheck(RTCheck:assrchk_error) is det

Predicate that processes a rtcheck exception.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 intercept_rtc(Arg1)

 call_rtc(Arg1)

 save_rtchecks(Arg1)

 load_rtchecks(Arg1)

 assrchk_error(Arg1)