let
bi_of_pe (p, e) =
let
_loc = loc_of_patt p
in
Ast
.
BiEq
(_loc, p, e)