module My.Algebra.Structure where -- §────────────────────────────────────────────────────────────────── -- Required modules -- §────────────────────────────────────────────────────────────────── import My.Algebra.Structure.BinaryOperation as MyASBO import My.Algebra.Structure.Object as MyASO import My.Algebra.Structure.Predicate as MyASP open MyASBO public open MyASO public open MyASP public