codomain

open fun codomain(domain: Type): Optional<Type>(source)

For a given type, return what type this morphism transform each object into.