Did you know ... Search Documentation:
Pack genutils -- prolog/ccref.pl
PublicShow source
 run_ref(+P:pred) is det
Run P inside a run_state/4 with the prompt set to ref, providing a supply of mutable references using ref_new/2, ref_get/2, ref_set/3 etc.
 ref_app_ref(+R:ref(A), +P:pred(+A,-P)) is det
Use P to update contents of R, like ref_app/2, but with references still available as a computational effect.
 ref_maybe_app_ref(+R:ref(A), +P:pred(+A,-maybe(A))) is det
Call P with contents of R, with references still in context, possibly updating R with a new value.

Undocumented predicates

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

 ref_new(Arg1, Arg2)
 ref_get(Arg1, Arg2)
 ref_set(Arg1, Arg2)
 ref_app(Arg1, Arg2)
 ref_upd(Arg1, Arg2, Arg3)