[ Third Party Libraries | Reference Manual | Alphabetic Index ]

# library(metutl)

## Predicates

> copy(?, ?)
>   No description available
> ground(?)
>   No description available
> occurs_check(?, ?)
>   No description available
> occurs_in(?, ?)
>   No description available
> simple(?)
>   No description available
> subsumes(?, ?)
>   No description available
> subsumes_chk(?, ?)
>   No description available
> subterm(?, ?)
>   No description available
> unify(?, ?)
>   No description available
> var_member_chk(?, ?)
>   No description available
> variables_of(?, ?)
>   No description available
> variant(?, ?)
>   No description available

Generated from metutl.eci on Sat Nov 8 06:59:49 2008