external
loc_of_ctyp : ctyp
->
Loc
.t =
"%field0"