external
loc_of_rec_binding : rec_binding
->
Loc
.t =
"%field0"