let
iosh_lookup iosh vi =
if
IH
.mem iosh vi.vid
then
Some
(
IH
.find iosh vi.vid)
else
None