()
| 380 | |
| 381 | #[test] |
| 382 | fn ser_de_expr_lam_telescope_size() { |
| 383 | let ty = Expr::var(1); |
| 384 | let expr = |
| 385 | Expr::lam(ty.clone(), Expr::lam(ty.clone(), Expr::lam(ty, Expr::var(0)))); |
| 386 | let mut buf = Vec::new(); |
| 387 | put_expr(expr.as_ref(), &mut buf); |
| 388 | assert_eq!(buf.len(), 5); |
| 389 | assert!(expr_roundtrip(&expr)); |
| 390 | } |
| 391 | |
| 392 | #[test] |
| 393 | fn ser_de_expr_app_telescope_size() { |