gen_bound

Function gen_bound 

Source
fn gen_bound(binder: Binder, stmt: Statement) -> Result<BoundResult>