![]() |
Home | Libraries | People | FAQ | More |
Obviously we can observe the induction of semantics from the CodomainT
parameter into the instantiations
of icl maps.
is model of |
if |
example |
|
---|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|