Module vs Module Type?

Dear all,

Hi, sorry this might be a stupid question, so according to my understanding we have these correspondence:

Module	Struct	Implementation of the module
Module Type	Sig	Type of the module
So signature are like the type of a module, and we can define them using module type keyword and we can only use struct to implement the module, is this correct?

Thanks a lot.

Best,

Bob





-- 
Bob Fang