serialize_attvars(+AttvarTerm, -PrintableTerm) is semidet

serialize attributed variables (this is for printing and term_expansions currently)

 system_expanded_attvars(:TermT, :TermARG2) is semidet

System Goal Expansion Sd.

Undocumented predicates

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

 deserialize_attvars(Arg1, Arg2)

 deserialize_attvars(Arg1, Arg2, Arg3)

 serialize_attvars_now(Arg1, Arg2)

 put_dyn_attrs(Arg1, Arg2)

 find_or_create_var(Arg1, Arg2, Arg3)

 verbatum_var(Arg1)

 holds_attrs(Arg1)

 system_expanded_attvars(Arg1, Arg2, Arg3, Arg4)

 is_term_expanding_in_file(Arg1, Arg2)