How do I define a type which encapsulates/describes the behaviour/signature of a specific module?

Question

How do I define a type which encapsulates/describes the behaviour/signature of a specific module?

The problem originates from the fact that I have to sleep i