module Generic where
import indexed
import var as V
import varlike
import Generic.Syntax
import environment
import Generic.Semantics
import Generic.Semantics.Unit
import Generic.Examples.NbyE
import Generic.Examples.Printing
import Generic.Zip
import pred as P
import Generic.Fundamental
import rel as R
import Generic.Simulation
import Generic.Identity
import Generic.Fusion
open module idx = indexed public
open module var = V public hiding (_<$>_)
open module pred = P public hiding (∀[_])
open module rel = R public hiding (∀[_])
open module vlk = varlike public
open module env = environment public hiding (traverse)
open module syn = Generic.Syntax public
open module sem = Generic.Semantics public
open module zip = Generic.Zip public
open module sim = Generic.Simulation public hiding (RenSub ; rensub)
open module fdm = Generic.Fundamental public
open module fus = Generic.Fusion public
open module idt = Generic.Identity public
open module uni = Generic.Semantics.Unit public
open module nbe = Generic.Examples.NbyE public
open module prt = Generic.Examples.Printing public