module Module.ImportOp where

import Module.Imported ((:-)(..))