module Zsyntax.Labelled.Rule
  ( module Zsyntax.Labelled.Rule.Interface
  -- * Bipole generation
  , module Zsyntax.Labelled.Rule.BipoleRelation
  -- * Initial sequents and rules generation
  , module Zsyntax.Labelled.Rule.Frontier
  ) where

import Zsyntax.Labelled.Rule.BipoleRelation
import Zsyntax.Labelled.Rule.Frontier
import Zsyntax.Labelled.Rule.Interface
  ( UCtxt , LCtxt , LSequent ( .. ) , NeutralKind , Neutral ( .. ) , withNeutral , lcBase )

 * Bipole generation
 * Initial sequents and rules generation
module Zsyntax.Labelled.Rule
  ( module Zsyntax.Labelled.Rule.Interface
  , module Zsyntax.Labelled.Rule.BipoleRelation
  , module Zsyntax.Labelled.Rule.Frontier
  ) where

import Zsyntax.Labelled.Rule.BipoleRelation
import Zsyntax.Labelled.Rule.Frontier
import Zsyntax.Labelled.Rule.Interface
  ( UCtxt , LCtxt , LSequent ( .. ) , NeutralKind , Neutral ( .. ) , withNeutral , lcBase )
