{-# OPTIONS --without-K --safe #-}

module Fragment.Prelude where

open import Fragment.Tactic.Fragment using (fragment) public

open import Fragment.Equational.Theory.Bundles public
open import Fragment.Equational.Structures public

open import Fragment.Extensions.Semigroup using (SemigroupFrex) public
open import Fragment.Extensions.CSemigroup using (CSemigroupFrex) public