local  open Lambda Location Asynt Tr_env;in val translateMatch :  TranslEnv -> (unit -> Lambda) ->  Location -> (Pat list * Lambda) list -> Lambda end;