Function test_lambda

leanr-syntax/src/parser.rs:757–761

()

    #[test]
    fn test_lambda() {
        let input = "def test := fun x => x";
        let decls = parse(input).unwrap();
        assert_eq!(decls.len(), 1);
    }

    #[test]
    fn test_inductive() {