()
| 330 | |
| 331 | #[test] |
| 332 | fn is_fvar_predicate() { |
| 333 | let mut ngen = NameGenerator::new(); |
| 334 | let fv: AE = AE::fvar(ngen.fresh(), ANON_NAME); |
| 335 | let v: AE = AE::var(0, ANON_NAME); |
| 336 | let s: AE = AE::sort(AU::zero()); |
| 337 | assert!(is_fvar(&fv)); |
| 338 | assert!(!is_fvar(&v)); |
| 339 | assert!(!is_fvar(&s)); |
| 340 | } |
| 341 | } |