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