{-# LANGUAGE PostfixOperators #-}
module Drasil.SglPend.Assumptions (assumpSingle) where
    
import Language.Drasil (ConceptInstance)
import Drasil.DblPend.Assumptions (assumpBasic)

assumpSingle :: [ConceptInstance]
assumpSingle :: [ConceptInstance]
assumpSingle = [ConceptInstance]
assumpBasic