codomain

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