#x:port-type-name #x:basic-type (#.value)