Module type definitions for Mirage-compatible applications
