# system SetLike
SYSTEM = SetLike
SYS_LDFLAGS = $(VAR_LDFLAGS) 
SYS_LDLIBS =  -lTreeLike -lSeqLike -lUnionLike -lProductLike -lGeneral -lOrderings -lSpecial -lBasicTypes -lStrange -lCompiler $(VAR_LDLIBS)
SYS_LDLIBPATH =  -L../../AggregateTypes/TreeLike/OCS -L../../AggregateTypes/SeqLike/OCS -L../../AggregateTypes/UnionLike/OCS -L../../AggregateTypes/ProductLike/OCS -L../../Functions/General/OCS -L../../Functions/Orderings/OCS -L../../Functions/Special/OCS -L../../BasicTypes/OCS -L../../Internal/Strange/OCS -L../../Internal/Compiler/OCS $(VAR_LDLIBPATH)
SYS_LDLIBDEPS =  ../../AggregateTypes/TreeLike/OCS/libTreeLike.a ../../AggregateTypes/SeqLike/OCS/libSeqLike.a ../../AggregateTypes/UnionLike/OCS/libUnionLike.a ../../AggregateTypes/ProductLike/OCS/libProductLike.a ../../Functions/General/OCS/libGeneral.a ../../Functions/Orderings/OCS/libOrderings.a ../../Functions/Special/OCS/libSpecial.a ../../BasicTypes/OCS/libBasicTypes.a ../../Internal/Strange/OCS/libStrange.a ../../Internal/Compiler/OCS/libCompiler.a $(VAR_LDLIBDEPS)
SYS_OC1FLAGS = $(VAR_OC1FLAGS)  -v1
SYS_OC2FLAGS = $(VAR_OC2FLAGS)  -v1
SYS_CCFLAGS = $(VAR_CCFLAGS)  $(VERB_CC)
GENSTRUCTS =  Set SetConv SetMap SetFilter SetReduce SetConstr SetFold SetMapEnv SetByPred SetByPredConv SetByPredConstr SetByPredFilter Bag BagConv BagFilter BagMap BagFold BagReduce Bitset BitsetConv BitsetFilter BitsetMap BitsetFold BitsetReduce SetOfSet SetByBST SetByBSTConv SetByBSTFold SetByBSTReduce SetByBSTFilter SetByBSTMap SetByBSTConstr SetByBSTOfSetByBST SetByBSTMapEnv Sets NatSets Bags
SIGNS =  Set.sign SetConv.sign SetMap.sign SetFilter.sign SetReduce.sign SetConstr.sign SetFold.sign SetMapEnv.sign SetByPred.sign SetByPredConv.sign SetByPredConstr.sign SetByPredFilter.sign Bag.sign BagConv.sign BagFilter.sign BagMap.sign BagFold.sign BagReduce.sign Bitset.sign BitsetConv.sign BitsetFilter.sign BitsetMap.sign BitsetFold.sign BitsetReduce.sign SetOfSet.sign SetByBST.sign SetByBSTConv.sign SetByBSTFold.sign SetByBSTReduce.sign SetByBSTFilter.sign SetByBSTMap.sign SetByBSTConstr.sign SetByBSTOfSetByBST.sign SetByBSTMapEnv.sign Sets.sign NatSets.sign Bags.sign
IMPLS =  Set.impl SetConv.impl SetMap.impl SetFilter.impl SetReduce.impl SetConstr.impl SetFold.impl SetMapEnv.impl SetByPred.impl SetByPredConv.impl SetByPredConstr.impl SetByPredFilter.impl Bag.impl BagConv.impl BagFilter.impl BagMap.impl BagFold.impl BagReduce.impl Bitset.impl BitsetConv.impl BitsetFilter.impl BitsetMap.impl BitsetFold.impl BitsetReduce.impl SetOfSet.impl SetByBST.impl SetByBSTConv.impl SetByBSTFold.impl SetByBSTReduce.impl SetByBSTFilter.impl SetByBSTMap.impl SetByBSTConstr.impl SetByBSTOfSetByBST.impl SetByBSTMapEnv.impl Sets.impl NatSets.impl Bags.impl
EXPS =  OCS/Set.sign.inter OCS/SetConv.sign.inter OCS/SetMap.sign.inter OCS/SetFilter.sign.inter OCS/SetReduce.sign.inter OCS/SetConstr.sign.inter OCS/SetFold.sign.inter OCS/SetMapEnv.sign.inter OCS/SetByPred.sign.inter OCS/SetByPredConv.sign.inter OCS/SetByPredConstr.sign.inter OCS/SetByPredFilter.sign.inter OCS/Bag.sign.inter OCS/BagConv.sign.inter OCS/BagFilter.sign.inter OCS/BagMap.sign.inter OCS/BagFold.sign.inter OCS/BagReduce.sign.inter OCS/Bitset.sign.inter OCS/BitsetConv.sign.inter OCS/BitsetFilter.sign.inter OCS/BitsetMap.sign.inter OCS/BitsetFold.sign.inter OCS/BitsetReduce.sign.inter OCS/SetOfSet.sign.inter OCS/SetByBST.sign.inter OCS/SetByBSTConv.sign.inter OCS/SetByBSTFold.sign.inter OCS/SetByBSTReduce.sign.inter OCS/SetByBSTFilter.sign.inter OCS/SetByBSTMap.sign.inter OCS/SetByBSTConstr.sign.inter OCS/SetByBSTOfSetByBST.sign.inter OCS/SetByBSTMapEnv.sign.inter OCS/Sets.sign.inter OCS/NatSets.sign.inter OCS/Bags.sign.inter
ANAS =  OCS/Set.impl.inter OCS/SetConv.impl.inter OCS/SetMap.impl.inter OCS/SetFilter.impl.inter OCS/SetReduce.impl.inter OCS/SetConstr.impl.inter OCS/SetFold.impl.inter OCS/SetMapEnv.impl.inter OCS/SetByPred.impl.inter OCS/SetByPredConv.impl.inter OCS/SetByPredConstr.impl.inter OCS/SetByPredFilter.impl.inter OCS/Bag.impl.inter OCS/BagConv.impl.inter OCS/BagFilter.impl.inter OCS/BagMap.impl.inter OCS/BagFold.impl.inter OCS/BagReduce.impl.inter OCS/Bitset.impl.inter OCS/BitsetConv.impl.inter OCS/BitsetFilter.impl.inter OCS/BitsetMap.impl.inter OCS/BitsetFold.impl.inter OCS/BitsetReduce.impl.inter OCS/SetOfSet.impl.inter OCS/SetByBST.impl.inter OCS/SetByBSTConv.impl.inter OCS/SetByBSTFold.impl.inter OCS/SetByBSTReduce.impl.inter OCS/SetByBSTFilter.impl.inter OCS/SetByBSTMap.impl.inter OCS/SetByBSTConstr.impl.inter OCS/SetByBSTOfSetByBST.impl.inter OCS/SetByBSTMapEnv.impl.inter OCS/Sets.impl.inter OCS/NatSets.impl.inter OCS/Bags.impl.inter
OPTS =  OCS/Set.opt OCS/SetConv.opt OCS/SetMap.opt OCS/SetFilter.opt OCS/SetReduce.opt OCS/SetConstr.opt OCS/SetFold.opt OCS/SetMapEnv.opt OCS/SetByPred.opt OCS/SetByPredConv.opt OCS/SetByPredConstr.opt OCS/SetByPredFilter.opt OCS/Bag.opt OCS/BagConv.opt OCS/BagFilter.opt OCS/BagMap.opt OCS/BagFold.opt OCS/BagReduce.opt OCS/Bitset.opt OCS/BitsetConv.opt OCS/BitsetFilter.opt OCS/BitsetMap.opt OCS/BitsetFold.opt OCS/BitsetReduce.opt OCS/SetOfSet.opt OCS/SetByBST.opt OCS/SetByBSTConv.opt OCS/SetByBSTFold.opt OCS/SetByBSTReduce.opt OCS/SetByBSTFilter.opt OCS/SetByBSTMap.opt OCS/SetByBSTConstr.opt OCS/SetByBSTOfSetByBST.opt OCS/SetByBSTMapEnv.opt OCS/Sets.opt OCS/NatSets.opt OCS/Bags.opt
CS =  OCS/Set.c OCS/SetConv.c OCS/SetMap.c OCS/SetFilter.c OCS/SetReduce.c OCS/SetConstr.c OCS/SetFold.c OCS/SetMapEnv.c OCS/SetByPred.c OCS/SetByPredConv.c OCS/SetByPredConstr.c OCS/SetByPredFilter.c OCS/Bag.c OCS/BagConv.c OCS/BagFilter.c OCS/BagMap.c OCS/BagFold.c OCS/BagReduce.c OCS/Bitset.c OCS/BitsetConv.c OCS/BitsetFilter.c OCS/BitsetMap.c OCS/BitsetFold.c OCS/BitsetReduce.c OCS/SetOfSet.c OCS/SetByBST.c OCS/SetByBSTConv.c OCS/SetByBSTFold.c OCS/SetByBSTReduce.c OCS/SetByBSTFilter.c OCS/SetByBSTMap.c OCS/SetByBSTConstr.c OCS/SetByBSTOfSetByBST.c OCS/SetByBSTMapEnv.c OCS/Sets.c OCS/NatSets.c OCS/Bags.c
OS =  OCS/Set.o OCS/SetConv.o OCS/SetMap.o OCS/SetFilter.o OCS/SetReduce.o OCS/SetConstr.o OCS/SetFold.o OCS/SetMapEnv.o OCS/SetByPred.o OCS/SetByPredConv.o OCS/SetByPredConstr.o OCS/SetByPredFilter.o OCS/Bag.o OCS/BagConv.o OCS/BagFilter.o OCS/BagMap.o OCS/BagFold.o OCS/BagReduce.o OCS/Bitset.o OCS/BitsetConv.o OCS/BitsetFilter.o OCS/BitsetMap.o OCS/BitsetFold.o OCS/BitsetReduce.o OCS/SetOfSet.o OCS/SetByBST.o OCS/SetByBSTConv.o OCS/SetByBSTFold.o OCS/SetByBSTReduce.o OCS/SetByBSTFilter.o OCS/SetByBSTMap.o OCS/SetByBSTConstr.o OCS/SetByBSTOfSetByBST.o OCS/SetByBSTMapEnv.o OCS/Sets.o OCS/NatSets.o OCS/Bags.o
ESYSTEMS =  ../../Internal/Compiler ../../Internal/Strange ../../BasicTypes ../../Functions/Special ../../Functions/Orderings ../../Functions/General ../../AggregateTypes/ProductLike ../../AggregateTypes/UnionLike ../../AggregateTypes/SeqLike ../../AggregateTypes/TreeLike
FSYSTEMS = 
SIGNDEPS =  OCS/Set.sign.deps OCS/SetConv.sign.deps OCS/SetMap.sign.deps OCS/SetFilter.sign.deps OCS/SetReduce.sign.deps OCS/SetConstr.sign.deps OCS/SetFold.sign.deps OCS/SetMapEnv.sign.deps OCS/SetByPred.sign.deps OCS/SetByPredConv.sign.deps OCS/SetByPredConstr.sign.deps OCS/SetByPredFilter.sign.deps OCS/Bag.sign.deps OCS/BagConv.sign.deps OCS/BagFilter.sign.deps OCS/BagMap.sign.deps OCS/BagFold.sign.deps OCS/BagReduce.sign.deps OCS/Bitset.sign.deps OCS/BitsetConv.sign.deps OCS/BitsetFilter.sign.deps OCS/BitsetMap.sign.deps OCS/BitsetFold.sign.deps OCS/BitsetReduce.sign.deps OCS/SetOfSet.sign.deps OCS/SetByBST.sign.deps OCS/SetByBSTConv.sign.deps OCS/SetByBSTFold.sign.deps OCS/SetByBSTReduce.sign.deps OCS/SetByBSTFilter.sign.deps OCS/SetByBSTMap.sign.deps OCS/SetByBSTConstr.sign.deps OCS/SetByBSTOfSetByBST.sign.deps OCS/SetByBSTMapEnv.sign.deps OCS/Sets.sign.deps OCS/NatSets.sign.deps OCS/Bags.sign.deps
IMPLDEPS =  OCS/Set.impl.deps OCS/SetConv.impl.deps OCS/SetMap.impl.deps OCS/SetFilter.impl.deps OCS/SetReduce.impl.deps OCS/SetConstr.impl.deps OCS/SetFold.impl.deps OCS/SetMapEnv.impl.deps OCS/SetByPred.impl.deps OCS/SetByPredConv.impl.deps OCS/SetByPredConstr.impl.deps OCS/SetByPredFilter.impl.deps OCS/Bag.impl.deps OCS/BagConv.impl.deps OCS/BagFilter.impl.deps OCS/BagMap.impl.deps OCS/BagFold.impl.deps OCS/BagReduce.impl.deps OCS/Bitset.impl.deps OCS/BitsetConv.impl.deps OCS/BitsetFilter.impl.deps OCS/BitsetMap.impl.deps OCS/BitsetFold.impl.deps OCS/BitsetReduce.impl.deps OCS/SetOfSet.impl.deps OCS/SetByBST.impl.deps OCS/SetByBSTConv.impl.deps OCS/SetByBSTFold.impl.deps OCS/SetByBSTReduce.impl.deps OCS/SetByBSTFilter.impl.deps OCS/SetByBSTMap.impl.deps OCS/SetByBSTConstr.impl.deps OCS/SetByBSTOfSetByBST.impl.deps OCS/SetByBSTMapEnv.impl.deps OCS/Sets.impl.deps OCS/NatSets.impl.deps OCS/Bags.impl.deps
OCS/Set.sign.inter: Set.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of Set ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Set  -h../../BasicTypes -r  Nat -h../../AggregateTypes/SeqLike -r  Seq Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Set for documentation ..." &&  $(ECHO) Set >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Set.impl.inter : Set.impl OCS/Set.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of Set ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Set  -h../../BasicTypes -r  Nat -h../../AggregateTypes/SeqLike -r  Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Set for documentation ..." &&  $(ECHO) Set >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Set.c OCS/Set.opt: OCS/Set.impl.inter
	@if [ "$@" = "OCS/Set.c" ] ; then $(ECHO) "Generating C Code for Set ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. Set  -h../../BasicTypes -r  Nat -h../../AggregateTypes/SeqLike -r  Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Set for documentation ..." &&  $(ECHO) Set >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Set.o: OCS/Set.c 
	@$(ECHO) "Generating $(ARCH) object code for Set ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Set.c -o OCS/Set.o
OCS/SetConv.sign.inter: SetConv.sign ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Set.sign.inter
	@$(ECHO) "Checking Signature of SetConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetConv  -h../../AggregateTypes/SeqLike -r  String Seq -h. -r  Set $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetConv for documentation ..." &&  $(ECHO) SetConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetConv.impl.inter : SetConv.impl OCS/SetConv.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqConv.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Set.sign.inter
	@$(ECHO) "Checking Implementation of SetConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetConv  -h../../AggregateTypes/SeqLike -r  SeqConv Seq -h. -r  Set $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetConv for documentation ..." &&  $(ECHO) SetConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetConv.c OCS/SetConv.opt: OCS/SetConv.impl.inter
	@if [ "$@" = "OCS/SetConv.c" ] ; then $(ECHO) "Generating C Code for SetConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetConv  -h../../AggregateTypes/SeqLike -r  SeqConv Seq -h. -r  Set $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetConv for documentation ..." &&  $(ECHO) SetConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetConv.o: OCS/SetConv.c 
	@$(ECHO) "Generating $(ARCH) object code for SetConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetConv.c -o OCS/SetConv.o
OCS/SetMap.sign.inter: SetMap.sign OCS/Set.sign.inter OCS/Set.sign.inter
	@$(ECHO) "Checking Signature of SetMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetMap  -h. -r  Set Set $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetMap for documentation ..." &&  $(ECHO) SetMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetMap.impl.inter : SetMap.impl OCS/SetMap.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqMap.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/SetConv.sign.inter OCS/Set.sign.inter
	@$(ECHO) "Checking Implementation of SetMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetMap  -h../../AggregateTypes/SeqLike -r  SeqMap Seq -h. -r  SetConv Set $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetMap for documentation ..." &&  $(ECHO) SetMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetMap.c OCS/SetMap.opt: OCS/SetMap.impl.inter
	@if [ "$@" = "OCS/SetMap.c" ] ; then $(ECHO) "Generating C Code for SetMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetMap  -h../../AggregateTypes/SeqLike -r  SeqMap Seq -h. -r  SetConv Set $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetMap for documentation ..." &&  $(ECHO) SetMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetMap.o: OCS/SetMap.c 
	@$(ECHO) "Generating $(ARCH) object code for SetMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetMap.c -o OCS/SetMap.o
OCS/SetFilter.sign.inter: SetFilter.sign OCS/Set.sign.inter
	@$(ECHO) "Checking Signature of SetFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetFilter  -h. -r  Set $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetFilter for documentation ..." &&  $(ECHO) SetFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetFilter.impl.inter : SetFilter.impl OCS/SetFilter.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqFilter.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Set.sign.inter
	@$(ECHO) "Checking Implementation of SetFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetFilter  -h../../AggregateTypes/SeqLike -r  SeqFilter Seq -h. -r  Set $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetFilter for documentation ..." &&  $(ECHO) SetFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetFilter.c OCS/SetFilter.opt: OCS/SetFilter.impl.inter
	@if [ "$@" = "OCS/SetFilter.c" ] ; then $(ECHO) "Generating C Code for SetFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetFilter  -h../../AggregateTypes/SeqLike -r  SeqFilter Seq -h. -r  Set $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetFilter for documentation ..." &&  $(ECHO) SetFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetFilter.o: OCS/SetFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for SetFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetFilter.c -o OCS/SetFilter.o
OCS/SetReduce.sign.inter: SetReduce.sign OCS/Set.sign.inter
	@$(ECHO) "Checking Signature of SetReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetReduce  -h. -r  Set $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetReduce for documentation ..." &&  $(ECHO) SetReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetReduce.impl.inter : SetReduce.impl OCS/SetReduce.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqReduce.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Set.sign.inter
	@$(ECHO) "Checking Implementation of SetReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetReduce  -h../../AggregateTypes/SeqLike -r  SeqReduce Seq -h. -r  Set $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetReduce for documentation ..." &&  $(ECHO) SetReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetReduce.c OCS/SetReduce.opt: OCS/SetReduce.impl.inter
	@if [ "$@" = "OCS/SetReduce.c" ] ; then $(ECHO) "Generating C Code for SetReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetReduce  -h../../AggregateTypes/SeqLike -r  SeqReduce Seq -h. -r  Set $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetReduce for documentation ..." &&  $(ECHO) SetReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetReduce.o: OCS/SetReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for SetReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetReduce.c -o OCS/SetReduce.o
OCS/SetConstr.sign.inter: SetConstr.sign ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/Set.sign.inter OCS/Set.sign.inter OCS/Set.sign.inter OCS/Set.sign.inter ../../AggregateTypes/UnionLike/OCS/Union2.sign.inter
	@$(ECHO) "Checking Signature of SetConstr ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetConstr  -h../../AggregateTypes/ProductLike -r  Pair -h. -r  Set Set Set Set -h../../AggregateTypes/UnionLike -r  Union2 $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetConstr for documentation ..." &&  $(ECHO) SetConstr >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetConstr.impl.inter : SetConstr.impl OCS/SetConstr.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/Set.sign.inter OCS/SetMap.sign.inter ../../AggregateTypes/UnionLike/OCS/Union2.sign.inter
	@$(ECHO) "Checking Implementation of SetConstr ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetConstr  -h../../AggregateTypes/ProductLike -r  Pair -h. -r  Set SetMap -h../../AggregateTypes/UnionLike -r  Union2 $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetConstr for documentation ..." &&  $(ECHO) SetConstr >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetConstr.c OCS/SetConstr.opt: OCS/SetConstr.impl.inter
	@if [ "$@" = "OCS/SetConstr.c" ] ; then $(ECHO) "Generating C Code for SetConstr ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetConstr  -h../../AggregateTypes/ProductLike -r  Pair -h. -r  Set SetMap -h../../AggregateTypes/UnionLike -r  Union2 $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetConstr for documentation ..." &&  $(ECHO) SetConstr >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetConstr.o: OCS/SetConstr.c 
	@$(ECHO) "Generating $(ARCH) object code for SetConstr ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetConstr.c -o OCS/SetConstr.o
OCS/SetFold.sign.inter: SetFold.sign OCS/Set.sign.inter
	@$(ECHO) "Checking Signature of SetFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetFold  -h. -r  Set $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetFold for documentation ..." &&  $(ECHO) SetFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetFold.impl.inter : SetFold.impl OCS/SetFold.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqFold.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Set.sign.inter
	@$(ECHO) "Checking Implementation of SetFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetFold  -h../../AggregateTypes/SeqLike -r  SeqFold Seq -h. -r  Set $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetFold for documentation ..." &&  $(ECHO) SetFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetFold.c OCS/SetFold.opt: OCS/SetFold.impl.inter
	@if [ "$@" = "OCS/SetFold.c" ] ; then $(ECHO) "Generating C Code for SetFold ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetFold  -h../../AggregateTypes/SeqLike -r  SeqFold Seq -h. -r  Set $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetFold for documentation ..." &&  $(ECHO) SetFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetFold.o: OCS/SetFold.c 
	@$(ECHO) "Generating $(ARCH) object code for SetFold ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetFold.c -o OCS/SetFold.o
OCS/SetMapEnv.sign.inter: SetMapEnv.sign OCS/Set.sign.inter OCS/Set.sign.inter
	@$(ECHO) "Checking Signature of SetMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetMapEnv  -h. -r  Set Set $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetMapEnv for documentation ..." &&  $(ECHO) SetMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetMapEnv.impl.inter : SetMapEnv.impl OCS/SetMapEnv.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqMapEnv.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/SetConv.sign.inter OCS/Set.sign.inter
	@$(ECHO) "Checking Implementation of SetMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetMapEnv  -h../../AggregateTypes/SeqLike -r  SeqMapEnv Seq -h. -r  SetConv Set $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetMapEnv for documentation ..." &&  $(ECHO) SetMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetMapEnv.c OCS/SetMapEnv.opt: OCS/SetMapEnv.impl.inter
	@if [ "$@" = "OCS/SetMapEnv.c" ] ; then $(ECHO) "Generating C Code for SetMapEnv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetMapEnv  -h../../AggregateTypes/SeqLike -r  SeqMapEnv Seq -h. -r  SetConv Set $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetMapEnv for documentation ..." &&  $(ECHO) SetMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetMapEnv.o: OCS/SetMapEnv.c 
	@$(ECHO) "Generating $(ARCH) object code for SetMapEnv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetMapEnv.c -o OCS/SetMapEnv.o
OCS/SetByPred.sign.inter: SetByPred.sign
	@$(ECHO) "Checking Signature of SetByPred ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetByPred  $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByPred for documentation ..." &&  $(ECHO) SetByPred >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByPred.impl.inter : SetByPred.impl OCS/SetByPred.sign.inter ../../Functions/General/OCS/Predicate.sign.inter
	@$(ECHO) "Checking Implementation of SetByPred ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetByPred  -h../../Functions/General -r  Predicate $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetByPred for documentation ..." &&  $(ECHO) SetByPred >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByPred.c OCS/SetByPred.opt: OCS/SetByPred.impl.inter
	@if [ "$@" = "OCS/SetByPred.c" ] ; then $(ECHO) "Generating C Code for SetByPred ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetByPred  -h../../Functions/General -r  Predicate $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByPred for documentation ..." &&  $(ECHO) SetByPred >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByPred.o: OCS/SetByPred.c 
	@$(ECHO) "Generating $(ARCH) object code for SetByPred ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetByPred.c -o OCS/SetByPred.o
OCS/SetByPredConv.sign.inter: SetByPredConv.sign ../../AggregateTypes/SeqLike/OCS/String.sign.inter OCS/SetByPred.sign.inter
	@$(ECHO) "Checking Signature of SetByPredConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetByPredConv  -h../../AggregateTypes/SeqLike -r  String -h. -r  SetByPred $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByPredConv for documentation ..." &&  $(ECHO) SetByPredConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByPredConv.impl.inter : SetByPredConv.impl OCS/SetByPredConv.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter
	@$(ECHO) "Checking Implementation of SetByPredConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetByPredConv  -h../../AggregateTypes/SeqLike -r  String $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetByPredConv for documentation ..." &&  $(ECHO) SetByPredConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByPredConv.c OCS/SetByPredConv.opt: OCS/SetByPredConv.impl.inter
	@if [ "$@" = "OCS/SetByPredConv.c" ] ; then $(ECHO) "Generating C Code for SetByPredConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetByPredConv  -h../../AggregateTypes/SeqLike -r  String $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByPredConv for documentation ..." &&  $(ECHO) SetByPredConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByPredConv.o: OCS/SetByPredConv.c 
	@$(ECHO) "Generating $(ARCH) object code for SetByPredConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetByPredConv.c -o OCS/SetByPredConv.o
OCS/SetByPredConstr.sign.inter: SetByPredConstr.sign ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/SetByPred.sign.inter OCS/SetByPred.sign.inter OCS/SetByPred.sign.inter OCS/SetByPred.sign.inter ../../AggregateTypes/UnionLike/OCS/Union2.sign.inter
	@$(ECHO) "Checking Signature of SetByPredConstr ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetByPredConstr  -h../../AggregateTypes/ProductLike -r  Pair -h. -r  SetByPred SetByPred SetByPred SetByPred -h../../AggregateTypes/UnionLike -r  Union2 $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByPredConstr for documentation ..." &&  $(ECHO) SetByPredConstr >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByPredConstr.impl.inter : SetByPredConstr.impl OCS/SetByPredConstr.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/SetByPred.sign.inter ../../AggregateTypes/UnionLike/OCS/Union2.sign.inter
	@$(ECHO) "Checking Implementation of SetByPredConstr ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetByPredConstr  -h../../AggregateTypes/ProductLike -r  Pair -h. -r  SetByPred -h../../AggregateTypes/UnionLike -r  Union2 $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetByPredConstr for documentation ..." &&  $(ECHO) SetByPredConstr >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByPredConstr.c OCS/SetByPredConstr.opt: OCS/SetByPredConstr.impl.inter
	@if [ "$@" = "OCS/SetByPredConstr.c" ] ; then $(ECHO) "Generating C Code for SetByPredConstr ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetByPredConstr  -h../../AggregateTypes/ProductLike -r  Pair -h. -r  SetByPred -h../../AggregateTypes/UnionLike -r  Union2 $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByPredConstr for documentation ..." &&  $(ECHO) SetByPredConstr >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByPredConstr.o: OCS/SetByPredConstr.c 
	@$(ECHO) "Generating $(ARCH) object code for SetByPredConstr ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetByPredConstr.c -o OCS/SetByPredConstr.o
OCS/SetByPredFilter.sign.inter: SetByPredFilter.sign OCS/SetByPred.sign.inter
	@$(ECHO) "Checking Signature of SetByPredFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetByPredFilter  -h. -r  SetByPred $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByPredFilter for documentation ..." &&  $(ECHO) SetByPredFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByPredFilter.impl.inter : SetByPredFilter.impl OCS/SetByPredFilter.sign.inter OCS/SetByPred.sign.inter
	@$(ECHO) "Checking Implementation of SetByPredFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetByPredFilter  -h. -r  SetByPred $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetByPredFilter for documentation ..." &&  $(ECHO) SetByPredFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByPredFilter.c OCS/SetByPredFilter.opt: OCS/SetByPredFilter.impl.inter
	@if [ "$@" = "OCS/SetByPredFilter.c" ] ; then $(ECHO) "Generating C Code for SetByPredFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetByPredFilter  -h. -r  SetByPred $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByPredFilter for documentation ..." &&  $(ECHO) SetByPredFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByPredFilter.o: OCS/SetByPredFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for SetByPredFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetByPredFilter.c -o OCS/SetByPredFilter.o
OCS/Bag.sign.inter: Bag.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of Bag ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Bag  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Bag for documentation ..." &&  $(ECHO) Bag >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Bag.impl.inter : Bag.impl OCS/Bag.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/OptionMap.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of Bag ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Bag  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  Seq -h../../AggregateTypes/UnionLike -r  OptionMap Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Bag for documentation ..." &&  $(ECHO) Bag >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Bag.c OCS/Bag.opt: OCS/Bag.impl.inter
	@if [ "$@" = "OCS/Bag.c" ] ; then $(ECHO) "Generating C Code for Bag ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. Bag  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  Seq -h../../AggregateTypes/UnionLike -r  OptionMap Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Bag for documentation ..." &&  $(ECHO) Bag >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Bag.o: OCS/Bag.c 
	@$(ECHO) "Generating $(ARCH) object code for Bag ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Bag.c -o OCS/Bag.o
OCS/BagConv.sign.inter: BagConv.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Bag.sign.inter
	@$(ECHO) "Checking Signature of BagConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BagConv  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  String Seq Seq -h. -r  Bag $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BagConv for documentation ..." &&  $(ECHO) BagConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagConv.impl.inter : BagConv.impl OCS/BagConv.sign.inter ../../BasicTypes/OCS/PrintableChar.sign.inter ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../BasicTypes/OCS/NatConv.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../Functions/General/OCS/Compose.sign.inter ../../AggregateTypes/ProductLike/OCS/PairConv.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/StringConv.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqConv.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqOfSeq.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqMap.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Bag.sign.inter
	@$(ECHO) "Checking Implementation of BagConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BagConv  -h../../BasicTypes -r  PrintableChar Char Denotation NatConv Nat -h../../Functions/General -r  Compose -h../../AggregateTypes/ProductLike -r  PairConv Pair -h../../AggregateTypes/SeqLike -r  StringConv String SeqConv SeqOfSeq SeqMap Seq -h. -r  Bag $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BagConv for documentation ..." &&  $(ECHO) BagConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagConv.c OCS/BagConv.opt: OCS/BagConv.impl.inter
	@if [ "$@" = "OCS/BagConv.c" ] ; then $(ECHO) "Generating C Code for BagConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BagConv  -h../../BasicTypes -r  PrintableChar Char Denotation NatConv Nat -h../../Functions/General -r  Compose -h../../AggregateTypes/ProductLike -r  PairConv Pair -h../../AggregateTypes/SeqLike -r  StringConv String SeqConv SeqOfSeq SeqMap Seq -h. -r  Bag $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BagConv for documentation ..." &&  $(ECHO) BagConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagConv.o: OCS/BagConv.c 
	@$(ECHO) "Generating $(ARCH) object code for BagConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BagConv.c -o OCS/BagConv.o
OCS/BagFilter.sign.inter: BagFilter.sign OCS/Bag.sign.inter
	@$(ECHO) "Checking Signature of BagFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BagFilter  -h. -r  Bag $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BagFilter for documentation ..." &&  $(ECHO) BagFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagFilter.impl.inter : BagFilter.impl OCS/BagFilter.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqFilter.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Bag.sign.inter
	@$(ECHO) "Checking Implementation of BagFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BagFilter  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  SeqFilter Seq -h. -r  Bag $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BagFilter for documentation ..." &&  $(ECHO) BagFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagFilter.c OCS/BagFilter.opt: OCS/BagFilter.impl.inter
	@if [ "$@" = "OCS/BagFilter.c" ] ; then $(ECHO) "Generating C Code for BagFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BagFilter  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  SeqFilter Seq -h. -r  Bag $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BagFilter for documentation ..." &&  $(ECHO) BagFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagFilter.o: OCS/BagFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for BagFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BagFilter.c -o OCS/BagFilter.o
OCS/BagMap.sign.inter: BagMap.sign OCS/Bag.sign.inter OCS/Bag.sign.inter
	@$(ECHO) "Checking Signature of BagMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BagMap  -h. -r  Bag Bag $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BagMap for documentation ..." &&  $(ECHO) BagMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagMap.impl.inter : BagMap.impl OCS/BagMap.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqMap.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/BagConv.sign.inter OCS/Bag.sign.inter
	@$(ECHO) "Checking Implementation of BagMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BagMap  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  SeqMap Seq -h. -r  BagConv Bag $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BagMap for documentation ..." &&  $(ECHO) BagMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagMap.c OCS/BagMap.opt: OCS/BagMap.impl.inter
	@if [ "$@" = "OCS/BagMap.c" ] ; then $(ECHO) "Generating C Code for BagMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BagMap  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  SeqMap Seq -h. -r  BagConv Bag $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BagMap for documentation ..." &&  $(ECHO) BagMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagMap.o: OCS/BagMap.c 
	@$(ECHO) "Generating $(ARCH) object code for BagMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BagMap.c -o OCS/BagMap.o
OCS/BagFold.sign.inter: BagFold.sign OCS/Bag.sign.inter
	@$(ECHO) "Checking Signature of BagFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BagFold  -h. -r  Bag $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BagFold for documentation ..." &&  $(ECHO) BagFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagFold.impl.inter : BagFold.impl OCS/BagFold.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqFold.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/BagConv.sign.inter OCS/Bag.sign.inter
	@$(ECHO) "Checking Implementation of BagFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BagFold  -h../../AggregateTypes/SeqLike -r  SeqFold Seq -h. -r  BagConv Bag $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BagFold for documentation ..." &&  $(ECHO) BagFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagFold.c OCS/BagFold.opt: OCS/BagFold.impl.inter
	@if [ "$@" = "OCS/BagFold.c" ] ; then $(ECHO) "Generating C Code for BagFold ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BagFold  -h../../AggregateTypes/SeqLike -r  SeqFold Seq -h. -r  BagConv Bag $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BagFold for documentation ..." &&  $(ECHO) BagFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagFold.o: OCS/BagFold.c 
	@$(ECHO) "Generating $(ARCH) object code for BagFold ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BagFold.c -o OCS/BagFold.o
OCS/BagReduce.sign.inter: BagReduce.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/Bag.sign.inter
	@$(ECHO) "Checking Signature of BagReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BagReduce  -h../../BasicTypes -r  Nat -h. -r  Bag $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BagReduce for documentation ..." &&  $(ECHO) BagReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagReduce.impl.inter : BagReduce.impl OCS/BagReduce.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqReduce.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/BagConv.sign.inter OCS/Bag.sign.inter
	@$(ECHO) "Checking Implementation of BagReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BagReduce  -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  SeqReduce Seq -h. -r  BagConv Bag $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BagReduce for documentation ..." &&  $(ECHO) BagReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagReduce.c OCS/BagReduce.opt: OCS/BagReduce.impl.inter
	@if [ "$@" = "OCS/BagReduce.c" ] ; then $(ECHO) "Generating C Code for BagReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BagReduce  -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  SeqReduce Seq -h. -r  BagConv Bag $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BagReduce for documentation ..." &&  $(ECHO) BagReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BagReduce.o: OCS/BagReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for BagReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BagReduce.c -o OCS/BagReduce.o
OCS/Bitset.sign.inter: Bitset.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of Bitset ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Bitset  -h../../BasicTypes -r  Nat -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Bitset for documentation ..." &&  $(ECHO) Bitset >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Bitset.impl.inter : Bitset.impl OCS/Bitset.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of Bitset ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Bitset  -h../../BasicTypes -r  Nat -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Bitset for documentation ..." &&  $(ECHO) Bitset >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Bitset.c OCS/Bitset.opt: OCS/Bitset.impl.inter
	@if [ "$@" = "OCS/Bitset.c" ] ; then $(ECHO) "Generating C Code for Bitset ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignTemplate  -h. Bitset  -h../../BasicTypes -r  Nat -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Bitset for documentation ..." &&  $(ECHO) Bitset >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Bitset.o: OCS/Bitset.c Bitset.hc.c Bitset.hc.h
	@$(ECHO) "Generating $(ARCH) object code for Bitset ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Bitset.c -o OCS/Bitset.o
OCS/BitsetConv.sign.inter: BitsetConv.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Bitset.sign.inter
	@$(ECHO) "Checking Signature of BitsetConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BitsetConv  -h../../BasicTypes -r  Nat -h../../AggregateTypes/SeqLike -r  String Seq -h. -r  Bitset $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BitsetConv for documentation ..." &&  $(ECHO) BitsetConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetConv.impl.inter : BitsetConv.impl OCS/BitsetConv.sign.inter ../../BasicTypes/OCS/NatConv.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqConv.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Bitset.sign.inter
	@$(ECHO) "Checking Implementation of BitsetConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BitsetConv  -h../../BasicTypes -r  NatConv -h../../AggregateTypes/SeqLike -r  String SeqConv Seq -h. -r  Bitset $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BitsetConv for documentation ..." &&  $(ECHO) BitsetConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetConv.c OCS/BitsetConv.opt: OCS/BitsetConv.impl.inter
	@if [ "$@" = "OCS/BitsetConv.c" ] ; then $(ECHO) "Generating C Code for BitsetConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BitsetConv  -h../../BasicTypes -r  NatConv -h../../AggregateTypes/SeqLike -r  String SeqConv Seq -h. -r  Bitset $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BitsetConv for documentation ..." &&  $(ECHO) BitsetConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetConv.o: OCS/BitsetConv.c 
	@$(ECHO) "Generating $(ARCH) object code for BitsetConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BitsetConv.c -o OCS/BitsetConv.o
OCS/BitsetFilter.sign.inter: BitsetFilter.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/Bitset.sign.inter
	@$(ECHO) "Checking Signature of BitsetFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BitsetFilter  -h../../BasicTypes -r  Nat -h. -r  Bitset $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BitsetFilter for documentation ..." &&  $(ECHO) BitsetFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetFilter.impl.inter : BitsetFilter.impl OCS/BitsetFilter.sign.inter OCS/Bitset.sign.inter
	@$(ECHO) "Checking Implementation of BitsetFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BitsetFilter  -h. -r  Bitset $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BitsetFilter for documentation ..." &&  $(ECHO) BitsetFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetFilter.c OCS/BitsetFilter.opt: OCS/BitsetFilter.impl.inter
	@if [ "$@" = "OCS/BitsetFilter.c" ] ; then $(ECHO) "Generating C Code for BitsetFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BitsetFilter  -h. -r  Bitset $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BitsetFilter for documentation ..." &&  $(ECHO) BitsetFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetFilter.o: OCS/BitsetFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for BitsetFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BitsetFilter.c -o OCS/BitsetFilter.o
OCS/BitsetMap.sign.inter: BitsetMap.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/Bitset.sign.inter
	@$(ECHO) "Checking Signature of BitsetMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BitsetMap  -h../../BasicTypes -r  Nat -h. -r  Bitset $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BitsetMap for documentation ..." &&  $(ECHO) BitsetMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetMap.impl.inter : BitsetMap.impl OCS/BitsetMap.sign.inter OCS/Bitset.sign.inter
	@$(ECHO) "Checking Implementation of BitsetMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BitsetMap  -h. -r  Bitset $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BitsetMap for documentation ..." &&  $(ECHO) BitsetMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetMap.c OCS/BitsetMap.opt: OCS/BitsetMap.impl.inter
	@if [ "$@" = "OCS/BitsetMap.c" ] ; then $(ECHO) "Generating C Code for BitsetMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BitsetMap  -h. -r  Bitset $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BitsetMap for documentation ..." &&  $(ECHO) BitsetMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetMap.o: OCS/BitsetMap.c 
	@$(ECHO) "Generating $(ARCH) object code for BitsetMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BitsetMap.c -o OCS/BitsetMap.o
OCS/BitsetFold.sign.inter: BitsetFold.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/Bitset.sign.inter
	@$(ECHO) "Checking Signature of BitsetFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BitsetFold  -h../../BasicTypes -r  Nat -h. -r  Bitset $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BitsetFold for documentation ..." &&  $(ECHO) BitsetFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetFold.impl.inter : BitsetFold.impl OCS/BitsetFold.sign.inter OCS/Bitset.sign.inter
	@$(ECHO) "Checking Implementation of BitsetFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BitsetFold  -h. -r  Bitset $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BitsetFold for documentation ..." &&  $(ECHO) BitsetFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetFold.c OCS/BitsetFold.opt: OCS/BitsetFold.impl.inter
	@if [ "$@" = "OCS/BitsetFold.c" ] ; then $(ECHO) "Generating C Code for BitsetFold ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BitsetFold  -h. -r  Bitset $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BitsetFold for documentation ..." &&  $(ECHO) BitsetFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetFold.o: OCS/BitsetFold.c 
	@$(ECHO) "Generating $(ARCH) object code for BitsetFold ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BitsetFold.c -o OCS/BitsetFold.o
OCS/BitsetReduce.sign.inter: BitsetReduce.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/Bitset.sign.inter
	@$(ECHO) "Checking Signature of BitsetReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BitsetReduce  -h../../BasicTypes -r  Nat -h. -r  Bitset $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BitsetReduce for documentation ..." &&  $(ECHO) BitsetReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetReduce.impl.inter : BitsetReduce.impl OCS/BitsetReduce.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Bitset.sign.inter
	@$(ECHO) "Checking Implementation of BitsetReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BitsetReduce  -h../../BasicTypes -r  Nat -h. -r  Bitset $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BitsetReduce for documentation ..." &&  $(ECHO) BitsetReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetReduce.c OCS/BitsetReduce.opt: OCS/BitsetReduce.impl.inter
	@if [ "$@" = "OCS/BitsetReduce.c" ] ; then $(ECHO) "Generating C Code for BitsetReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BitsetReduce  -h../../BasicTypes -r  Nat -h. -r  Bitset $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BitsetReduce for documentation ..." &&  $(ECHO) BitsetReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BitsetReduce.o: OCS/BitsetReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for BitsetReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BitsetReduce.c -o OCS/BitsetReduce.o
OCS/SetOfSet.sign.inter: SetOfSet.sign OCS/Set.sign.inter OCS/Set.sign.inter
	@$(ECHO) "Checking Signature of SetOfSet ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetOfSet  -h. -r  Set Set $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetOfSet for documentation ..." &&  $(ECHO) SetOfSet >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetOfSet.impl.inter : SetOfSet.impl OCS/SetOfSet.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqMap.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqOfSeq.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/SetConv.sign.inter OCS/SetReduce.sign.inter OCS/Set.sign.inter OCS/SetMap.sign.inter OCS/Set.sign.inter
	@$(ECHO) "Checking Implementation of SetOfSet ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetOfSet  -h../../AggregateTypes/SeqLike -r  SeqMap SeqOfSeq Seq -h. -r  SetConv SetReduce Set SetMap Set $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetOfSet for documentation ..." &&  $(ECHO) SetOfSet >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetOfSet.c OCS/SetOfSet.opt: OCS/SetOfSet.impl.inter
	@if [ "$@" = "OCS/SetOfSet.c" ] ; then $(ECHO) "Generating C Code for SetOfSet ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetOfSet  -h../../AggregateTypes/SeqLike -r  SeqMap SeqOfSeq Seq -h. -r  SetConv SetReduce Set SetMap Set $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetOfSet for documentation ..." &&  $(ECHO) SetOfSet >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetOfSet.o: OCS/SetOfSet.c 
	@$(ECHO) "Generating $(ARCH) object code for SetOfSet ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetOfSet.c -o OCS/SetOfSet.o
OCS/SetByBST.sign.inter: SetByBST.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTree.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of SetByBST ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetByBST  -h../../BasicTypes -r  Nat -h../../AggregateTypes/SeqLike -r  Seq -h../../AggregateTypes/TreeLike -r  BSTree -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBST for documentation ..." &&  $(ECHO) SetByBST >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBST.impl.inter : SetByBST.impl OCS/SetByBST.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTree.sign.inter
	@$(ECHO) "Checking Implementation of SetByBST ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetByBST  -h../../BasicTypes -r  Nat -h../../AggregateTypes/TreeLike -r  BSTree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetByBST for documentation ..." &&  $(ECHO) SetByBST >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBST.c OCS/SetByBST.opt: OCS/SetByBST.impl.inter
	@if [ "$@" = "OCS/SetByBST.c" ] ; then $(ECHO) "Generating C Code for SetByBST ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetByBST  -h../../BasicTypes -r  Nat -h../../AggregateTypes/TreeLike -r  BSTree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBST for documentation ..." &&  $(ECHO) SetByBST >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBST.o: OCS/SetByBST.c 
	@$(ECHO) "Generating $(ARCH) object code for SetByBST ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetByBST.c -o OCS/SetByBST.o
OCS/SetByBSTConv.sign.inter: SetByBSTConv.sign ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/SetByBST.sign.inter
	@$(ECHO) "Checking Signature of SetByBSTConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetByBSTConv  -h../../AggregateTypes/SeqLike -r  String Seq -h. -r  SetByBST $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTConv for documentation ..." &&  $(ECHO) SetByBSTConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTConv.impl.inter : SetByBSTConv.impl OCS/SetByBSTConv.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqConv.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/SetByBST.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTreeConv.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTree.sign.inter
	@$(ECHO) "Checking Implementation of SetByBSTConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetByBSTConv  -h../../AggregateTypes/SeqLike -r  SeqConv Seq -h. -r  SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeConv BSTree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetByBSTConv for documentation ..." &&  $(ECHO) SetByBSTConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTConv.c OCS/SetByBSTConv.opt: OCS/SetByBSTConv.impl.inter
	@if [ "$@" = "OCS/SetByBSTConv.c" ] ; then $(ECHO) "Generating C Code for SetByBSTConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetByBSTConv  -h../../AggregateTypes/SeqLike -r  SeqConv Seq -h. -r  SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeConv BSTree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTConv for documentation ..." &&  $(ECHO) SetByBSTConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTConv.o: OCS/SetByBSTConv.c 
	@$(ECHO) "Generating $(ARCH) object code for SetByBSTConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetByBSTConv.c -o OCS/SetByBSTConv.o
OCS/SetByBSTFold.sign.inter: SetByBSTFold.sign OCS/SetByBST.sign.inter
	@$(ECHO) "Checking Signature of SetByBSTFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetByBSTFold  -h. -r  SetByBST $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTFold for documentation ..." &&  $(ECHO) SetByBSTFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTFold.impl.inter : SetByBSTFold.impl OCS/SetByBSTFold.sign.inter OCS/SetByBST.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTreeReduce.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTree.sign.inter
	@$(ECHO) "Checking Implementation of SetByBSTFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetByBSTFold  -h. -r  SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeReduce BSTree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetByBSTFold for documentation ..." &&  $(ECHO) SetByBSTFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTFold.c OCS/SetByBSTFold.opt: OCS/SetByBSTFold.impl.inter
	@if [ "$@" = "OCS/SetByBSTFold.c" ] ; then $(ECHO) "Generating C Code for SetByBSTFold ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetByBSTFold  -h. -r  SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeReduce BSTree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTFold for documentation ..." &&  $(ECHO) SetByBSTFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTFold.o: OCS/SetByBSTFold.c 
	@$(ECHO) "Generating $(ARCH) object code for SetByBSTFold ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetByBSTFold.c -o OCS/SetByBSTFold.o
OCS/SetByBSTReduce.sign.inter: SetByBSTReduce.sign OCS/SetByBST.sign.inter
	@$(ECHO) "Checking Signature of SetByBSTReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetByBSTReduce  -h. -r  SetByBST $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTReduce for documentation ..." &&  $(ECHO) SetByBSTReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTReduce.impl.inter : SetByBSTReduce.impl OCS/SetByBSTReduce.sign.inter OCS/SetByBST.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTreeReduce.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTree.sign.inter
	@$(ECHO) "Checking Implementation of SetByBSTReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetByBSTReduce  -h. -r  SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeReduce BSTree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetByBSTReduce for documentation ..." &&  $(ECHO) SetByBSTReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTReduce.c OCS/SetByBSTReduce.opt: OCS/SetByBSTReduce.impl.inter
	@if [ "$@" = "OCS/SetByBSTReduce.c" ] ; then $(ECHO) "Generating C Code for SetByBSTReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetByBSTReduce  -h. -r  SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeReduce BSTree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTReduce for documentation ..." &&  $(ECHO) SetByBSTReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTReduce.o: OCS/SetByBSTReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for SetByBSTReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetByBSTReduce.c -o OCS/SetByBSTReduce.o
OCS/SetByBSTFilter.sign.inter: SetByBSTFilter.sign OCS/SetByBST.sign.inter
	@$(ECHO) "Checking Signature of SetByBSTFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetByBSTFilter  -h. -r  SetByBST $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTFilter for documentation ..." &&  $(ECHO) SetByBSTFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTFilter.impl.inter : SetByBSTFilter.impl OCS/SetByBSTFilter.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/SetByBST.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTreeReduce.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTree.sign.inter
	@$(ECHO) "Checking Implementation of SetByBSTFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetByBSTFilter  -h../../AggregateTypes/ProductLike -r  Pair -h. -r  SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeReduce BSTree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetByBSTFilter for documentation ..." &&  $(ECHO) SetByBSTFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTFilter.c OCS/SetByBSTFilter.opt: OCS/SetByBSTFilter.impl.inter
	@if [ "$@" = "OCS/SetByBSTFilter.c" ] ; then $(ECHO) "Generating C Code for SetByBSTFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetByBSTFilter  -h../../AggregateTypes/ProductLike -r  Pair -h. -r  SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeReduce BSTree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTFilter for documentation ..." &&  $(ECHO) SetByBSTFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTFilter.o: OCS/SetByBSTFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for SetByBSTFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetByBSTFilter.c -o OCS/SetByBSTFilter.o
OCS/SetByBSTMap.sign.inter: SetByBSTMap.sign OCS/SetByBST.sign.inter OCS/SetByBST.sign.inter
	@$(ECHO) "Checking Signature of SetByBSTMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetByBSTMap  -h. -r  SetByBST SetByBST $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTMap for documentation ..." &&  $(ECHO) SetByBSTMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTMap.impl.inter : SetByBSTMap.impl OCS/SetByBSTMap.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/SetByBSTConv.sign.inter OCS/SetByBST.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTreeMap.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTree.sign.inter
	@$(ECHO) "Checking Implementation of SetByBSTMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetByBSTMap  -h../../AggregateTypes/SeqLike -r  Seq -h. -r  SetByBSTConv SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeMap BSTree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetByBSTMap for documentation ..." &&  $(ECHO) SetByBSTMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTMap.c OCS/SetByBSTMap.opt: OCS/SetByBSTMap.impl.inter
	@if [ "$@" = "OCS/SetByBSTMap.c" ] ; then $(ECHO) "Generating C Code for SetByBSTMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetByBSTMap  -h../../AggregateTypes/SeqLike -r  Seq -h. -r  SetByBSTConv SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeMap BSTree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTMap for documentation ..." &&  $(ECHO) SetByBSTMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTMap.o: OCS/SetByBSTMap.c 
	@$(ECHO) "Generating $(ARCH) object code for SetByBSTMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetByBSTMap.c -o OCS/SetByBSTMap.o
OCS/SetByBSTConstr.sign.inter: SetByBSTConstr.sign ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/SetByBST.sign.inter OCS/SetByBST.sign.inter OCS/SetByBST.sign.inter OCS/SetByBST.sign.inter ../../AggregateTypes/UnionLike/OCS/Union2.sign.inter
	@$(ECHO) "Checking Signature of SetByBSTConstr ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetByBSTConstr  -h../../AggregateTypes/ProductLike -r  Pair -h. -r  SetByBST SetByBST SetByBST SetByBST -h../../AggregateTypes/UnionLike -r  Union2 $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTConstr for documentation ..." &&  $(ECHO) SetByBSTConstr >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTConstr.impl.inter : SetByBSTConstr.impl OCS/SetByBSTConstr.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/SetByBST.sign.inter OCS/SetByBSTMap.sign.inter ../../AggregateTypes/UnionLike/OCS/Union2.sign.inter
	@$(ECHO) "Checking Implementation of SetByBSTConstr ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetByBSTConstr  -h../../AggregateTypes/ProductLike -r  Pair -h. -r  SetByBST SetByBSTMap -h../../AggregateTypes/UnionLike -r  Union2 $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetByBSTConstr for documentation ..." &&  $(ECHO) SetByBSTConstr >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTConstr.c OCS/SetByBSTConstr.opt: OCS/SetByBSTConstr.impl.inter
	@if [ "$@" = "OCS/SetByBSTConstr.c" ] ; then $(ECHO) "Generating C Code for SetByBSTConstr ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetByBSTConstr  -h../../AggregateTypes/ProductLike -r  Pair -h. -r  SetByBST SetByBSTMap -h../../AggregateTypes/UnionLike -r  Union2 $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTConstr for documentation ..." &&  $(ECHO) SetByBSTConstr >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTConstr.o: OCS/SetByBSTConstr.c 
	@$(ECHO) "Generating $(ARCH) object code for SetByBSTConstr ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetByBSTConstr.c -o OCS/SetByBSTConstr.o
OCS/SetByBSTOfSetByBST.sign.inter: SetByBSTOfSetByBST.sign OCS/SetByBST.sign.inter OCS/SetByBST.sign.inter
	@$(ECHO) "Checking Signature of SetByBSTOfSetByBST ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetByBSTOfSetByBST  -h. -r  SetByBST SetByBST $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTOfSetByBST for documentation ..." &&  $(ECHO) SetByBSTOfSetByBST >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTOfSetByBST.impl.inter : SetByBSTOfSetByBST.impl OCS/SetByBSTOfSetByBST.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqMap.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqOfSeq.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/SetByBSTConv.sign.inter OCS/SetByBSTReduce.sign.inter OCS/SetByBST.sign.inter OCS/SetByBSTMap.sign.inter OCS/SetByBST.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTreeConv.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTree.sign.inter
	@$(ECHO) "Checking Implementation of SetByBSTOfSetByBST ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetByBSTOfSetByBST  -h../../AggregateTypes/SeqLike -r  SeqMap SeqOfSeq Seq -h. -r  SetByBSTConv SetByBSTReduce SetByBST SetByBSTMap SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeConv BSTree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetByBSTOfSetByBST for documentation ..." &&  $(ECHO) SetByBSTOfSetByBST >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTOfSetByBST.c OCS/SetByBSTOfSetByBST.opt: OCS/SetByBSTOfSetByBST.impl.inter
	@if [ "$@" = "OCS/SetByBSTOfSetByBST.c" ] ; then $(ECHO) "Generating C Code for SetByBSTOfSetByBST ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetByBSTOfSetByBST  -h../../AggregateTypes/SeqLike -r  SeqMap SeqOfSeq Seq -h. -r  SetByBSTConv SetByBSTReduce SetByBST SetByBSTMap SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeConv BSTree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTOfSetByBST for documentation ..." &&  $(ECHO) SetByBSTOfSetByBST >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTOfSetByBST.o: OCS/SetByBSTOfSetByBST.c 
	@$(ECHO) "Generating $(ARCH) object code for SetByBSTOfSetByBST ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetByBSTOfSetByBST.c -o OCS/SetByBSTOfSetByBST.o
OCS/SetByBSTMapEnv.sign.inter: SetByBSTMapEnv.sign OCS/SetByBST.sign.inter OCS/SetByBST.sign.inter
	@$(ECHO) "Checking Signature of SetByBSTMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SetByBSTMapEnv  -h. -r  SetByBST SetByBST $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTMapEnv for documentation ..." &&  $(ECHO) SetByBSTMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTMapEnv.impl.inter : SetByBSTMapEnv.impl OCS/SetByBSTMapEnv.sign.inter OCS/SetByBST.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTreeMapEnv.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTree.sign.inter
	@$(ECHO) "Checking Implementation of SetByBSTMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SetByBSTMapEnv  -h. -r  SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeMapEnv BSTree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SetByBSTMapEnv for documentation ..." &&  $(ECHO) SetByBSTMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTMapEnv.c OCS/SetByBSTMapEnv.opt: OCS/SetByBSTMapEnv.impl.inter
	@if [ "$@" = "OCS/SetByBSTMapEnv.c" ] ; then $(ECHO) "Generating C Code for SetByBSTMapEnv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SetByBSTMapEnv  -h. -r  SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeMapEnv BSTree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SetByBSTMapEnv for documentation ..." &&  $(ECHO) SetByBSTMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SetByBSTMapEnv.o: OCS/SetByBSTMapEnv.c 
	@$(ECHO) "Generating $(ARCH) object code for SetByBSTMapEnv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SetByBSTMapEnv.c -o OCS/SetByBSTMapEnv.o
OCS/Sets.sign.inter: Sets.sign OCS/SetReduce.sign.inter OCS/SetOfSet.sign.inter OCS/SetMapEnv.sign.inter OCS/SetMap.sign.inter OCS/SetFold.sign.inter OCS/SetFilter.sign.inter OCS/SetConv.sign.inter OCS/Set.sign.inter
	@$(ECHO) "Checking Signature of Sets ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Sets  -h. -r  SetReduce SetOfSet SetMapEnv SetMap SetFold SetFilter SetConv Set $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Sets for documentation ..." &&  $(ECHO) Sets >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Sets.impl.inter : Sets.impl OCS/Sets.sign.inter
	@$(ECHO) "Checking Implementation of Sets ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Sets  $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Sets for documentation ..." &&  $(ECHO) Sets >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Sets.c OCS/Sets.opt: OCS/Sets.impl.inter
	@if [ "$@" = "OCS/Sets.c" ] ; then $(ECHO) "Generating C Code for Sets ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. Sets  $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Sets for documentation ..." &&  $(ECHO) Sets >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Sets.o: OCS/Sets.c 
	@$(ECHO) "Generating $(ARCH) object code for Sets ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Sets.c -o OCS/Sets.o
OCS/NatSets.sign.inter: NatSets.sign OCS/BitsetReduce.sign.inter OCS/BitsetMap.sign.inter OCS/BitsetFold.sign.inter OCS/BitsetFilter.sign.inter OCS/BitsetConv.sign.inter OCS/Bitset.sign.inter
	@$(ECHO) "Checking Signature of NatSets ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. NatSets  -h. -r  BitsetReduce BitsetMap BitsetFold BitsetFilter BitsetConv Bitset $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatSets for documentation ..." &&  $(ECHO) NatSets >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatSets.impl.inter : NatSets.impl OCS/NatSets.sign.inter
	@$(ECHO) "Checking Implementation of NatSets ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. NatSets  $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking NatSets for documentation ..." &&  $(ECHO) NatSets >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatSets.c OCS/NatSets.opt: OCS/NatSets.impl.inter
	@if [ "$@" = "OCS/NatSets.c" ] ; then $(ECHO) "Generating C Code for NatSets ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. NatSets  $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatSets for documentation ..." &&  $(ECHO) NatSets >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatSets.o: OCS/NatSets.c 
	@$(ECHO) "Generating $(ARCH) object code for NatSets ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/NatSets.c -o OCS/NatSets.o
OCS/Bags.sign.inter: Bags.sign OCS/BagReduce.sign.inter OCS/BagMap.sign.inter OCS/BagFold.sign.inter OCS/BagFilter.sign.inter OCS/BagConv.sign.inter OCS/Bag.sign.inter
	@$(ECHO) "Checking Signature of Bags ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Bags  -h. -r  BagReduce BagMap BagFold BagFilter BagConv Bag $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Bags for documentation ..." &&  $(ECHO) Bags >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Bags.impl.inter : Bags.impl OCS/Bags.sign.inter
	@$(ECHO) "Checking Implementation of Bags ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Bags  $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Bags for documentation ..." &&  $(ECHO) Bags >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Bags.c OCS/Bags.opt: OCS/Bags.impl.inter
	@if [ "$@" = "OCS/Bags.c" ] ; then $(ECHO) "Generating C Code for Bags ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. Bags  $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Bags for documentation ..." &&  $(ECHO) Bags >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Bags.o: OCS/Bags.c 
	@$(ECHO) "Generating $(ARCH) object code for Bags ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Bags.c -o OCS/Bags.o
