Function view 

pub fn view<'lean, 'a>(obj: &'a Obj<'lean>) -> ObjView<'lean, 'a>

Build a borrowed view over obj.