1 2 3 4 5 6 7 8 9 10 11 12
extern structure Lib : sig type t val x : t end type t' = Lib.t val x' : t' = Lib.x structure Lib' = Lib type t'' = Lib'.t val x'' : t'' = Lib'.x