namespace signatures (module types)

Stream: new members

[Quinn]

can I do module types? I liked them a lot in coq

[Henrik Böving]

We do not have module's in the sense of Coq. If you can describe your problem we might be able to figure out a nice Lean construction regardless though