Function test_identity_function

tests/elaboration/test_simple.rs:30–33

()

    #[test]
    fn test_identity_function() {
        let source = "def id (α : Type) (x : α) : α := x";
        parse_and_elaborate(source).unwrap();
    }

    #[test]
    fn test_constant_function() {