use crate::parser::*;

pub enum CheckError {
    Unbound(String),
    DuplicateField(String),
    ExpectedTypeFoundTerm(String),
}