Undocumented predicates

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

 declaration(Arg1)

 declaration(Arg1, Arg2)

 global(Arg1)

 global(Arg1, Arg2)

 type(Arg1)

 type(Arg1, Arg2)

 checkprop_goal(Arg1)

 compat(Arg1)

 compat(Arg1, Arg2)

 with_cv_module(Arg1, Arg2)

 cv_module(Arg1)

 instan(Arg1)

 instan(Arg1, Arg2)

 last_prop_failure(Arg1)

 deprecated(Arg1)

 database(Arg1)

 det(Arg1)

 dupclauses(Arg1)

 equiv(Arg1, Arg2)

 eval(Arg1)

 exception(Arg1)

 exception(Arg1, Arg2)

 fails(Arg1)

 failure(Arg1)

 fi(Arg1, Arg2)

 has_choicepoints(Arg1)

 is_det(Arg1)

 iso(Arg1)

 meta_modes(Arg1)

 multi(Arg1)

 nfi(Arg1, Arg2)

 mve(Arg1, Arg2)

 no_choicepoints(Arg1)

 no_exception(Arg1)

 no_exception(Arg1, Arg2)

 no_meta_modes(Arg1)

 no_signal(Arg1)

 no_signal(Arg1, Arg2)

 non_det(Arg1)

 nondet(Arg1)

 not_fails(Arg1)

 nsh(Arg1, Arg2)

 num_solutions(Arg1, Arg2)

 num_solutions_eq(Arg1, Arg2)

 semidet(Arg1)

 signal(Arg1)

 signal(Arg1, Arg2)

 signals(Arg1, Arg2)

 solutions(Arg1, Arg2)

 throw(Arg1, Arg2)

 throws(Arg1, Arg2)

 unknown(Arg1)

 user_output(Arg1, Arg2)

 list(Arg1)

 list(Arg1, Arg2)

 tlist(Arg1, Arg2)

 nlist(Arg1)

 nlist(Arg1, Arg2)

 goal(Arg1, Arg2)

 nnegint(Arg1)

 pair(Arg1)

 flt(Arg1)

 nnegflt(Arg1)

 posflt(Arg1)

 num(Arg1)

 nnegnum(Arg1)

 posnum(Arg1)

 atm(Arg1)

 gnd(Arg1)

 any(Arg1)

 gndstr(Arg1)

 str(Arg1)

 struct(Arg1)

 term(Arg1)

 char(Arg1)

 atmel(Arg1)

 keypair(Arg1)

 sequence(Arg1, Arg2)

 negint(Arg1)

 operator_specifier(Arg1)

 character_code(Arg1)

 goal(Arg1)

 mod_qual(Arg1)

 mod_qual(Arg1, Arg2)

 keylist(Arg1)

 predname(Arg1)

 constant(Arg1)

 linear(Arg1)

 arithexpression(Arg1)

 int(Arg1)

 rat(Arg1)

 posint(Arg1)

 opts(Arg1)

 dict(Arg1)

 metaopts(Arg1, Arg2)