InutitionTC
0.30
|
Complex freeing operations. More...
#include "checker.h"
Go to the source code of this file.
Functions | |
void | freeKindDeep (Kind *) |
void | freeKStarDeep (Kstar) |
void | freeKpiDeep (Kpi) |
void | freeTypeDeep (Type *) |
void | freeVarParts (Tvar) |
void | freeAllParts (Tall) |
void | freeAppParts (Tapp) |
void | freeExiParts (Texi) |
void | freeAndParts (Tand) |
void | freeOrParts (Tor) |
void | freeBotParts (Tbot) |
void | freeTermDeep (Term *) |
void | freeMVarParts (Mvar t) |
void | freeMAppParts (Mapp t) |
void | freeMLamParts (Mlam t) |
void | freeMWitParts (Mwit t) |
void | freeMAbsParts (Mabs t) |
void | freeMTupParts (Mtup t) |
void | freeMPi1Parts (Mpi1 t) |
void | freeMPi2Parts (Mpi2 t) |
void | freeMIn1Parts (Min1 t) |
void | freeMIn2Parts (Min2 t) |
void | freeCasInParts (McasIn t) |
void | freeMCasParts (Mcas t) |
void | freeMEpsParts (Meps t) |
void | freeAnyDeep (Any *) |
void | freeAnyBindParts (Bind b) |
void | freeNameDeep (Name *) |
Complex freeing operations.