Function poi::typ

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

A type judgement.