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