Function poi::typ

pub fn typ<A: Into<Expr>, B: Into<Expr>>(a: A, b: B) -> Expr

A type judgement.