#include <structs.h>
The struct PERM is used to generate all permutations when the pattern matcher has to try to match (anti)symmetric functions.
Definition at line 1056 of file structs.h.
Definition at line 1057 of file structs.h.
Definition at line 1058 of file structs.h.
Definition at line 1059 of file structs.h.
Definition at line 1060 of file structs.h.