Characteristic predicate Closure::ClosureModule::ClosureModule

ClosureModule()