external
loc_of_module_type : module_type
->
Loc
.t =
"%field0"