模块类型 Sys.Immediate64.Non_immediate

module type Non_immediate = sig .. end

---

type t