type ocl represent object type type result model facad type equal model facad type equal integ result basic integ model facad type equal model facad type equal result basic real model facad type equal bool model facad type equal model facad type equal result basic model facad type equal result basic result result argo type result 