List.iter psl ~f:
begin function
Ptop_def pstr ->
let str, sign, _names, env' = Typemod.type_structure !env pstr in
let str, sign, _names, env' = Typemod.type_structure !env pstr Location.none in
txt.structure <- txt.structure @ str.str_items;
txt.signature <- txt.signature @ sign;
env := env'