module Constructions
using GroupsCore
import GroupsCore.Random
include("direct_product.jl")
include("direct_power.jl")
include("wreath_product.jl")
end # of module Constructions