let
fp_map env (p,rs) =
fp_addr env p ,
List
.map (fp_range env) rs