Restricted:is_type.cont