Sindbad~EG File Manager

MEXPORT_PROVER term fastdom(term);
MEXPORT_PROVER term domain(term);
MEXPORT_PROVER term codomain(term);
term domain_aux(term);
term domexp(term,term);
MEXPORT_PROVER int contains_defined_variables(term);  /* domain.c */

term reduced_and(term,term);
term reduced_and3(term,term,term);
term reduced_and4(term,term,term,term);
term reduced_or(term,term);