|
{e with eexpr = TIf(eif, loop t ethen, match eelse with None -> None | Some e -> Some (loop t e))}
|
|
{e with eexpr = TIf(eif, loop t ethen, match eelse with None -> None | Some e -> Some (loop t e))}
|
|
{e with eexpr = TTry(loop t e1, List.map (fun (el,e) -> el,loop t e) el)}
|
|
{e with eexpr = TTry(loop t e1, List.map (fun (el,e) -> el,loop t e) el)}
|