+1

src/xref2/compile.ml

··· 393 | Signature _ -> true 394 | With (_, expr) -> is_elidable_with_u expr 395 | TypeOf _ -> false 0 396 in 397 if is_elidable_with_u expr then ModuleType expr 398 else ModuleType (u_module_type_expr env id expr)

··· 393 | Signature _ -> true 394 | With (_, expr) -> is_elidable_with_u expr 395 | TypeOf _ -> false 396 + | Strengthen (expr, _, _) -> is_elidable_with_u expr 397 in 398 if is_elidable_with_u expr then ModuleType expr 399 else ModuleType (u_module_type_expr env id expr)

+1

src/xref2/link.ml

··· 718 | Signature _ -> true 719 | With (_, expr) -> is_elidable_with_u expr 720 | TypeOf _ -> false 0 721 in 722 match decl with 723 | ModuleType expr when is_elidable_with_u expr -> ModuleType expr

··· 718 | Signature _ -> true 719 | With (_, expr) -> is_elidable_with_u expr 720 | TypeOf _ -> false 721 + | Strengthen (expr, _, _) -> is_elidable_with_u expr 722 in 723 match decl with 724 | ModuleType expr when is_elidable_with_u expr -> ModuleType expr

+2

src/xref2/tools.ml

··· 2381 Component.Delayed.put (fun () -> 2382 { 2383 Component.Module.source_loc = None; 0 2384 doc = modsubst.doc; 2385 type_ = Alias (modsubst.manifest, None); 2386 canonical = None; ··· 2402 Component.Delayed.put (fun () -> 2403 { 2404 Component.ModuleType.source_loc = None; 0 2405 doc = modtypesubst.doc; 2406 expr = Some modtypesubst.manifest; 2407 canonical = None;

··· 2381 Component.Delayed.put (fun () -> 2382 { 2383 Component.Module.source_loc = None; 2384 + source_loc_jane = None; 2385 doc = modsubst.doc; 2386 type_ = Alias (modsubst.manifest, None); 2387 canonical = None; ··· 2403 Component.Delayed.put (fun () -> 2404 { 2405 Component.ModuleType.source_loc = None; 2406 + source_loc_jane = None; 2407 doc = modtypesubst.doc; 2408 expr = Some modtypesubst.manifest; 2409 canonical = None;