Inject.hs revision bec7e681b0ba4d085638ec7af0cf7ae5068840ca
faf8ae9e57aecf780f77f114de886af4c1a0f0ccChristian MaederModule : $Header$
faf8ae9e57aecf780f77f114de886af4c1a0f0ccChristian MaederCopyright : (c) Christian Maeder, Uni Bremen 2005
faf8ae9e57aecf780f77f114de886af4c1a0f0ccChristian MaederLicence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt
aa1c971871ba8f793a9e2e62189369cbfbbe0054Christian MaederMaintainer : hets@tzi.de
9db48b4604636bfdf03e60890fc094b7bec775dcChristian MaederStability : provisional
9db48b4604636bfdf03e60890fc094b7bec775dcChristian MaederPortability : portable
faf8ae9e57aecf780f77f114de886af4c1a0f0ccChristian Maeder This module replaces Sorted_term(s) with explicit injection
module CASL.Inject where
import CASL.AS_Basic_CASL
import CASL.Overload
import Common.Id