[][src]Function razor_fol::test_prelude::y

pub fn y() -> Term