The Coq mailing list

["Pierre-Luc Carmel Biron" <plbc AT hotmail.com>]

(*
Can anybody gives me a funsig use example.

Why is that not working ?

Thanks
*)

Module Type FOO.
End FOO.

Module Type BAR (A : FOO).
End BAR.

Module Foo : FOO.
End Foo.

Module Type FOOBAR := BAR Foo. (* wrong, but why ? *)