Up – core_kernel » Core_kernel » Set_intf » Check_creators0

Module `Set_intf.Check_creators0`

Parameters

module M : Creators0

Signature