Skip to main content

check

Function check 

Source
pub fn check(tcs: TCS, input_term: &Abs, against: &Val) -> TermTCM