let field l finfo = match l with | Mloc l -> Mloc (M.field l finfo) | Path (m,x,off,_obj) -> let ty = object_of finfo.ftype in Path(m,x, off@[Lookup.Ofield finfo],ty )