#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 1024 of file structs.h.
Definition at line 1025 of file structs.h.
Definition at line 1026 of file structs.h.
Definition at line 1027 of file structs.h.
Definition at line 1028 of file structs.h.