Module Model_intf.CoreList

module CoreList: Core.Std.List