Up – core_kernel » Core_kernel » Set_intf » Check_creators2

Module `Set_intf.Check_creators2`

Parameters

module M : Creators2

Signature