agda/test/LaTeXAndHTML/succeed/Issue2756.agda

module Issue2756 where

module M where

  postulate A : Set

module M′ = M

B : Set
B = M′.A