assrt_op(+Part, +Step, +Level, +Type)

Undocumented predicates

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

 $with_asr(Arg1, Arg2)

 $with_gloc(Arg1, Arg2)

 $with_ploc(Arg1, Arg2)

 check_call(Arg1, Arg2, Arg3)

 check_goal(Arg1, Arg2, Arg3, Arg4, Arg5)

 check_asrs_pre(Arg1, Arg2, Arg3, Arg4, Arg5)

 collect_assertions(Arg1, Arg2, Arg3, Arg4)

 current_assertion(Arg1, Arg2, Arg3, Arg4)

 is_prop_check(Arg1, Arg2, Arg3, Arg4, Arg5)

 is_valid_status_type(Arg1, Arg2)

 part_time(Arg1, Arg2)

 rtcheck_assr_status(Arg1)