module HLinear.FramedModule
  ( FramedModule(..)
  , kernelLeftAction
  , kernelRightAction
  , null
  , intersect
  , span
  )
where


import HLinear.FramedModule.Definition
import HLinear.FramedModule.Basic
