I'm trying to create log based metrics using this: https://www.pulumi.com/docs/reference/pkg/gcp/logging/metric/ I can't seem to find where the Args classes are coming from. I mean such as:

MetricBucketOptionsArgs
MetricMetricDescriptorArgs
MetricMetricDescriptorLabelArgs

I believe they're in the

pulumi_gcp.logging

module.