|  | 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 | 
|---|---|---|---|
| 
                 | 
                 | 
 | 
                 | 
| 
                 | 
                 | 
                 | 
                 | 
| 
                 | 
                 | 
 | 
                 | 
| 
                 | 
                 | 
                 | 
                 |