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