R/domains.R
vector_domain_get_size.Rd
Retrieve the size of vectors in the vector domain.
vector_domain_get_size(vector_domain)
The vector domain from which to retrieve the size