| line |
!l |
l&&!r |
l&&r |
condition |
|
32
|
0 |
0 |
0 |
$kappa->type != Devel::TypeCheck::Type::M() and $kappa->subtype->type != Devel::TypeCheck::Type::K() |
|
37
|
0 |
0 |
0 |
defined $omicron and $omicron->type != Devel::TypeCheck::Type::M() |
|
|
0 |
0 |
0 |
defined $omicron and $omicron->type != Devel::TypeCheck::Type::M() and $omicron->subtype->type != Devel::TypeCheck::Type::O() |
|
42
|
0 |
0 |
0 |
defined $chi and $chi->type != Devel::TypeCheck::Type::M() |
|
|
0 |
0 |
0 |
defined $chi and $chi->type != Devel::TypeCheck::Type::M() and $chi->subtype->type != Devel::TypeCheck::Type::X() |
|
47
|
0 |
0 |
0 |
defined $zeta and $zeta->type != Devel::TypeCheck::Type::M() |
|
|
0 |
0 |
0 |
defined $zeta and $zeta->type != Devel::TypeCheck::Type::M() and $zeta->subtype->type != Devel::TypeCheck::Type::Z() |
|
182
|
0 |
0 |
0 |
$env->unify($this->derefKappa, $that->derefKappa) and $env->unify($this->derefOmicron, $that->derefOmicron) |
|
|
0 |
0 |
0 |
$env->unify($this->derefKappa, $that->derefKappa) and $env->unify($this->derefOmicron, $that->derefOmicron) and $env->unify($this->derefChi, $that->derefChi) |