pub(super) fn lower_fn(as_ct: &impl AsCodeType) -> Result<String, Error>