Function lambda_mountain::push1c

pub fn push1c(
    _src: impl Constant + Fragment + Sized<1>
) -> impl Fragment + Program