Module signatures for Mirage-compatible applications to use