pub fn num_elements(
index_domains: &[Moo<GroundDomain>],
) -> Result<u64, DomainOpError>Expand description
Returns the number of possible elements indexable by the given index domains.
In short, returns the product of the sizes of the given indices.