# system TreeLike
SYSTEM = TreeLike
SYS_LDFLAGS = $(VAR_LDFLAGS) 
SYS_LDLIBS =  -lDebugging -lSeqLike -lUnionLike -lProductLike -lGeneral -lOrderings -lSpecial -lBasicTypes -lCompiler $(VAR_LDLIBS)
SYS_LDLIBPATH =  -L../../System/Debugging/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/Compiler/OCS $(VAR_LDLIBPATH)
SYS_LDLIBDEPS =  ../../System/Debugging/OCS/libDebugging.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/Compiler/OCS/libCompiler.a $(VAR_LDLIBDEPS)
SYS_OC1FLAGS = $(VAR_OC1FLAGS)  -v1
SYS_OC2FLAGS = $(VAR_OC2FLAGS)  -v1
SYS_CCFLAGS = $(VAR_CCFLAGS)  $(VERB_CC)
GENSTRUCTS =  Tree IndexingOfTrees TreeReduce TreeConv TreeFilter TreeIndex TreeMap TreeMapEnv TreeZip TreeCompare Heap HeapConv HeapFilter HeapIndex HeapMap HeapMapEnv HeapReduce HeapZip HeapCompare BSTree BSTreeConv BSTreeCompare BSTreeFilter BSTreeIndex BSTreeMap BSTreeMapEnv BSTreeReduce BSTreeZip
SIGNS =  Tree.sign IndexingOfTrees.sign TreeReduce.sign TreeConv.sign TreeFilter.sign TreeIndex.sign TreeMap.sign TreeMapEnv.sign TreeZip.sign TreeCompare.sign Heap.sign HeapConv.sign HeapFilter.sign HeapIndex.sign HeapMap.sign HeapMapEnv.sign HeapReduce.sign HeapZip.sign HeapCompare.sign BSTree.sign BSTreeConv.sign BSTreeCompare.sign BSTreeFilter.sign BSTreeIndex.sign BSTreeMap.sign BSTreeMapEnv.sign BSTreeReduce.sign BSTreeZip.sign
IMPLS =  Tree.impl IndexingOfTrees.impl TreeReduce.impl TreeConv.impl TreeFilter.impl TreeIndex.impl TreeMap.impl TreeMapEnv.impl TreeZip.impl TreeCompare.impl Heap.impl HeapConv.impl HeapFilter.impl HeapIndex.impl HeapMap.impl HeapMapEnv.impl HeapReduce.impl HeapZip.impl HeapCompare.impl BSTree.impl BSTreeConv.impl BSTreeCompare.impl BSTreeFilter.impl BSTreeIndex.impl BSTreeMap.impl BSTreeMapEnv.impl BSTreeReduce.impl BSTreeZip.impl
EXPS =  OCS/Tree.sign.inter OCS/IndexingOfTrees.sign.inter OCS/TreeReduce.sign.inter OCS/TreeConv.sign.inter OCS/TreeFilter.sign.inter OCS/TreeIndex.sign.inter OCS/TreeMap.sign.inter OCS/TreeMapEnv.sign.inter OCS/TreeZip.sign.inter OCS/TreeCompare.sign.inter OCS/Heap.sign.inter OCS/HeapConv.sign.inter OCS/HeapFilter.sign.inter OCS/HeapIndex.sign.inter OCS/HeapMap.sign.inter OCS/HeapMapEnv.sign.inter OCS/HeapReduce.sign.inter OCS/HeapZip.sign.inter OCS/HeapCompare.sign.inter OCS/BSTree.sign.inter OCS/BSTreeConv.sign.inter OCS/BSTreeCompare.sign.inter OCS/BSTreeFilter.sign.inter OCS/BSTreeIndex.sign.inter OCS/BSTreeMap.sign.inter OCS/BSTreeMapEnv.sign.inter OCS/BSTreeReduce.sign.inter OCS/BSTreeZip.sign.inter
ANAS =  OCS/Tree.impl.inter OCS/IndexingOfTrees.impl.inter OCS/TreeReduce.impl.inter OCS/TreeConv.impl.inter OCS/TreeFilter.impl.inter OCS/TreeIndex.impl.inter OCS/TreeMap.impl.inter OCS/TreeMapEnv.impl.inter OCS/TreeZip.impl.inter OCS/TreeCompare.impl.inter OCS/Heap.impl.inter OCS/HeapConv.impl.inter OCS/HeapFilter.impl.inter OCS/HeapIndex.impl.inter OCS/HeapMap.impl.inter OCS/HeapMapEnv.impl.inter OCS/HeapReduce.impl.inter OCS/HeapZip.impl.inter OCS/HeapCompare.impl.inter OCS/BSTree.impl.inter OCS/BSTreeConv.impl.inter OCS/BSTreeCompare.impl.inter OCS/BSTreeFilter.impl.inter OCS/BSTreeIndex.impl.inter OCS/BSTreeMap.impl.inter OCS/BSTreeMapEnv.impl.inter OCS/BSTreeReduce.impl.inter OCS/BSTreeZip.impl.inter
OPTS =  OCS/Tree.opt OCS/IndexingOfTrees.opt OCS/TreeReduce.opt OCS/TreeConv.opt OCS/TreeFilter.opt OCS/TreeIndex.opt OCS/TreeMap.opt OCS/TreeMapEnv.opt OCS/TreeZip.opt OCS/TreeCompare.opt OCS/Heap.opt OCS/HeapConv.opt OCS/HeapFilter.opt OCS/HeapIndex.opt OCS/HeapMap.opt OCS/HeapMapEnv.opt OCS/HeapReduce.opt OCS/HeapZip.opt OCS/HeapCompare.opt OCS/BSTree.opt OCS/BSTreeConv.opt OCS/BSTreeCompare.opt OCS/BSTreeFilter.opt OCS/BSTreeIndex.opt OCS/BSTreeMap.opt OCS/BSTreeMapEnv.opt OCS/BSTreeReduce.opt OCS/BSTreeZip.opt
CS =  OCS/Tree.c OCS/IndexingOfTrees.c OCS/TreeReduce.c OCS/TreeConv.c OCS/TreeFilter.c OCS/TreeIndex.c OCS/TreeMap.c OCS/TreeMapEnv.c OCS/TreeZip.c OCS/TreeCompare.c OCS/Heap.c OCS/HeapConv.c OCS/HeapFilter.c OCS/HeapIndex.c OCS/HeapMap.c OCS/HeapMapEnv.c OCS/HeapReduce.c OCS/HeapZip.c OCS/HeapCompare.c OCS/BSTree.c OCS/BSTreeConv.c OCS/BSTreeCompare.c OCS/BSTreeFilter.c OCS/BSTreeIndex.c OCS/BSTreeMap.c OCS/BSTreeMapEnv.c OCS/BSTreeReduce.c OCS/BSTreeZip.c
OS =  OCS/Tree.o OCS/IndexingOfTrees.o OCS/TreeReduce.o OCS/TreeConv.o OCS/TreeFilter.o OCS/TreeIndex.o OCS/TreeMap.o OCS/TreeMapEnv.o OCS/TreeZip.o OCS/TreeCompare.o OCS/Heap.o OCS/HeapConv.o OCS/HeapFilter.o OCS/HeapIndex.o OCS/HeapMap.o OCS/HeapMapEnv.o OCS/HeapReduce.o OCS/HeapZip.o OCS/HeapCompare.o OCS/BSTree.o OCS/BSTreeConv.o OCS/BSTreeCompare.o OCS/BSTreeFilter.o OCS/BSTreeIndex.o OCS/BSTreeMap.o OCS/BSTreeMapEnv.o OCS/BSTreeReduce.o OCS/BSTreeZip.o
ESYSTEMS =  ../../Internal/Compiler ../../BasicTypes ../../Functions/Special ../../Functions/Orderings ../../Functions/General ../../AggregateTypes/ProductLike ../../AggregateTypes/UnionLike ../../AggregateTypes/SeqLike ../../System/Debugging
FSYSTEMS = 
SIGNDEPS =  OCS/Tree.sign.deps OCS/IndexingOfTrees.sign.deps OCS/TreeReduce.sign.deps OCS/TreeConv.sign.deps OCS/TreeFilter.sign.deps OCS/TreeIndex.sign.deps OCS/TreeMap.sign.deps OCS/TreeMapEnv.sign.deps OCS/TreeZip.sign.deps OCS/TreeCompare.sign.deps OCS/Heap.sign.deps OCS/HeapConv.sign.deps OCS/HeapFilter.sign.deps OCS/HeapIndex.sign.deps OCS/HeapMap.sign.deps OCS/HeapMapEnv.sign.deps OCS/HeapReduce.sign.deps OCS/HeapZip.sign.deps OCS/HeapCompare.sign.deps OCS/BSTree.sign.deps OCS/BSTreeConv.sign.deps OCS/BSTreeCompare.sign.deps OCS/BSTreeFilter.sign.deps OCS/BSTreeIndex.sign.deps OCS/BSTreeMap.sign.deps OCS/BSTreeMapEnv.sign.deps OCS/BSTreeReduce.sign.deps OCS/BSTreeZip.sign.deps
IMPLDEPS =  OCS/Tree.impl.deps OCS/IndexingOfTrees.impl.deps OCS/TreeReduce.impl.deps OCS/TreeConv.impl.deps OCS/TreeFilter.impl.deps OCS/TreeIndex.impl.deps OCS/TreeMap.impl.deps OCS/TreeMapEnv.impl.deps OCS/TreeZip.impl.deps OCS/TreeCompare.impl.deps OCS/Heap.impl.deps OCS/HeapConv.impl.deps OCS/HeapFilter.impl.deps OCS/HeapIndex.impl.deps OCS/HeapMap.impl.deps OCS/HeapMapEnv.impl.deps OCS/HeapReduce.impl.deps OCS/HeapZip.impl.deps OCS/HeapCompare.impl.deps OCS/BSTree.impl.deps OCS/BSTreeConv.impl.deps OCS/BSTreeCompare.impl.deps OCS/BSTreeFilter.impl.deps OCS/BSTreeIndex.impl.deps OCS/BSTreeMap.impl.deps OCS/BSTreeMapEnv.impl.deps OCS/BSTreeReduce.impl.deps OCS/BSTreeZip.impl.deps
OCS/Tree.sign.inter: Tree.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of Tree ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Tree  -h../../BasicTypes -r  Nat -h../../AggregateTypes/SeqLike -r  Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Tree for documentation ..." &&  $(ECHO) Tree >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Tree.impl.inter : Tree.impl OCS/Tree.sign.inter ../../BasicTypes/OCS/RelCmp.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../Functions/General/OCS/Compose.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqOfSeq.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqMap.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of Tree ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Tree  -h../../BasicTypes -r  RelCmp Nat -h../../Functions/General -r  Compose -h../../AggregateTypes/SeqLike -r  SeqOfSeq SeqMap Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Tree for documentation ..." &&  $(ECHO) Tree >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Tree.c OCS/Tree.opt: OCS/Tree.impl.inter
	@if [ "$@" = "OCS/Tree.c" ] ; then $(ECHO) "Generating C Code for Tree ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. Tree  -h../../BasicTypes -r  RelCmp Nat -h../../Functions/General -r  Compose -h../../AggregateTypes/SeqLike -r  SeqOfSeq SeqMap Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Tree for documentation ..." &&  $(ECHO) Tree >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Tree.o: OCS/Tree.c 
	@$(ECHO) "Generating $(ARCH) object code for Tree ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Tree.c -o OCS/Tree.o
OCS/IndexingOfTrees.sign.inter: IndexingOfTrees.sign ../../BasicTypes/OCS/Nat.sign.inter
	@$(ECHO) "Checking Signature of IndexingOfTrees ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. IndexingOfTrees  -h../../BasicTypes -r  Nat $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking IndexingOfTrees for documentation ..." &&  $(ECHO) IndexingOfTrees >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/IndexingOfTrees.impl.inter : IndexingOfTrees.impl OCS/IndexingOfTrees.sign.inter ../../BasicTypes/OCS/Nat.sign.inter
	@$(ECHO) "Checking Implementation of IndexingOfTrees ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. IndexingOfTrees  -h../../BasicTypes -r  Nat $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking IndexingOfTrees for documentation ..." &&  $(ECHO) IndexingOfTrees >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/IndexingOfTrees.c OCS/IndexingOfTrees.opt: OCS/IndexingOfTrees.impl.inter
	@if [ "$@" = "OCS/IndexingOfTrees.c" ] ; then $(ECHO) "Generating C Code for IndexingOfTrees ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. IndexingOfTrees  -h../../BasicTypes -r  Nat $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking IndexingOfTrees for documentation ..." &&  $(ECHO) IndexingOfTrees >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/IndexingOfTrees.o: OCS/IndexingOfTrees.c 
	@$(ECHO) "Generating $(ARCH) object code for IndexingOfTrees ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/IndexingOfTrees.c -o OCS/IndexingOfTrees.o
OCS/TreeReduce.sign.inter: TreeReduce.sign OCS/Tree.sign.inter
	@$(ECHO) "Checking Signature of TreeReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. TreeReduce  -h. -r  Tree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeReduce for documentation ..." &&  $(ECHO) TreeReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeReduce.impl.inter : TreeReduce.impl OCS/TreeReduce.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of TreeReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. TreeReduce  -h. -r  Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking TreeReduce for documentation ..." &&  $(ECHO) TreeReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeReduce.c OCS/TreeReduce.opt: OCS/TreeReduce.impl.inter
	@if [ "$@" = "OCS/TreeReduce.c" ] ; then $(ECHO) "Generating C Code for TreeReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. TreeReduce  -h. -r  Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeReduce for documentation ..." &&  $(ECHO) TreeReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeReduce.o: OCS/TreeReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for TreeReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/TreeReduce.c -o OCS/TreeReduce.o
OCS/TreeConv.sign.inter: TreeConv.sign ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Signature of TreeConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. TreeConv  -h../../AggregateTypes/SeqLike -r  String Seq Seq -h. -r  Tree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeConv for documentation ..." &&  $(ECHO) TreeConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeConv.impl.inter : TreeConv.impl OCS/TreeConv.sign.inter ../../BasicTypes/OCS/PrintableChar.sign.inter ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../Functions/General/OCS/Compose.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqZip.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqReduce.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqMap.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SeqLike/OCS/StringConv.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter OCS/TreeReduce.sign.inter OCS/IndexingOfTrees.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of TreeConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. TreeConv  -h../../BasicTypes -r  PrintableChar Char Nat Denotation -h../../Functions/General -r  Compose -h../../AggregateTypes/ProductLike -r  Pair Pair -h../../AggregateTypes/SeqLike -r  SeqZip SeqReduce SeqMap Seq StringConv String -h. -r  TreeReduce IndexingOfTrees Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking TreeConv for documentation ..." &&  $(ECHO) TreeConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeConv.c OCS/TreeConv.opt: OCS/TreeConv.impl.inter
	@if [ "$@" = "OCS/TreeConv.c" ] ; then $(ECHO) "Generating C Code for TreeConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. TreeConv  -h../../BasicTypes -r  PrintableChar Char Nat Denotation -h../../Functions/General -r  Compose -h../../AggregateTypes/ProductLike -r  Pair Pair -h../../AggregateTypes/SeqLike -r  SeqZip SeqReduce SeqMap Seq StringConv String -h. -r  TreeReduce IndexingOfTrees Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeConv for documentation ..." &&  $(ECHO) TreeConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeConv.o: OCS/TreeConv.c 
	@$(ECHO) "Generating $(ARCH) object code for TreeConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/TreeConv.c -o OCS/TreeConv.o
OCS/TreeFilter.sign.inter: TreeFilter.sign OCS/Tree.sign.inter
	@$(ECHO) "Checking Signature of TreeFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. TreeFilter  -h. -r  Tree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeFilter for documentation ..." &&  $(ECHO) TreeFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeFilter.impl.inter : TreeFilter.impl OCS/TreeFilter.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of TreeFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. TreeFilter  -h. -r  Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking TreeFilter for documentation ..." &&  $(ECHO) TreeFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeFilter.c OCS/TreeFilter.opt: OCS/TreeFilter.impl.inter
	@if [ "$@" = "OCS/TreeFilter.c" ] ; then $(ECHO) "Generating C Code for TreeFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. TreeFilter  -h. -r  Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeFilter for documentation ..." &&  $(ECHO) TreeFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeFilter.o: OCS/TreeFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for TreeFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/TreeFilter.c -o OCS/TreeFilter.o
OCS/TreeIndex.sign.inter: TreeIndex.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/Tree.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of TreeIndex ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. TreeIndex  -h../../BasicTypes -r  Nat -h. -r  Tree -h../../AggregateTypes/UnionLike -r  Option Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeIndex for documentation ..." &&  $(ECHO) TreeIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeIndex.impl.inter : TreeIndex.impl OCS/TreeIndex.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../Functions/General/OCS/Compose.sign.inter OCS/IndexingOfTrees.sign.inter OCS/Tree.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/OptionMap.sign.inter
	@$(ECHO) "Checking Implementation of TreeIndex ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. TreeIndex  -h../../BasicTypes -r  Denotation Nat -h../../Functions/General -r  Compose -h. -r  IndexingOfTrees Tree -h../../AggregateTypes/UnionLike -r  Option OptionMap $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking TreeIndex for documentation ..." &&  $(ECHO) TreeIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeIndex.c OCS/TreeIndex.opt: OCS/TreeIndex.impl.inter
	@if [ "$@" = "OCS/TreeIndex.c" ] ; then $(ECHO) "Generating C Code for TreeIndex ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. TreeIndex  -h../../BasicTypes -r  Denotation Nat -h../../Functions/General -r  Compose -h. -r  IndexingOfTrees Tree -h../../AggregateTypes/UnionLike -r  Option OptionMap $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeIndex for documentation ..." &&  $(ECHO) TreeIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeIndex.o: OCS/TreeIndex.c 
	@$(ECHO) "Generating $(ARCH) object code for TreeIndex ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/TreeIndex.c -o OCS/TreeIndex.o
OCS/TreeMap.sign.inter: TreeMap.sign OCS/Tree.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Signature of TreeMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. TreeMap  -h. -r  Tree Tree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeMap for documentation ..." &&  $(ECHO) TreeMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeMap.impl.inter : TreeMap.impl OCS/TreeMap.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of TreeMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. TreeMap  -h. -r  Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking TreeMap for documentation ..." &&  $(ECHO) TreeMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeMap.c OCS/TreeMap.opt: OCS/TreeMap.impl.inter
	@if [ "$@" = "OCS/TreeMap.c" ] ; then $(ECHO) "Generating C Code for TreeMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. TreeMap  -h. -r  Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeMap for documentation ..." &&  $(ECHO) TreeMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeMap.o: OCS/TreeMap.c 
	@$(ECHO) "Generating $(ARCH) object code for TreeMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/TreeMap.c -o OCS/TreeMap.o
OCS/TreeMapEnv.sign.inter: TreeMapEnv.sign OCS/Tree.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Signature of TreeMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. TreeMapEnv  -h. -r  Tree Tree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeMapEnv for documentation ..." &&  $(ECHO) TreeMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeMapEnv.impl.inter : TreeMapEnv.impl OCS/TreeMapEnv.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of TreeMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. TreeMapEnv  -h. -r  Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking TreeMapEnv for documentation ..." &&  $(ECHO) TreeMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeMapEnv.c OCS/TreeMapEnv.opt: OCS/TreeMapEnv.impl.inter
	@if [ "$@" = "OCS/TreeMapEnv.c" ] ; then $(ECHO) "Generating C Code for TreeMapEnv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. TreeMapEnv  -h. -r  Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeMapEnv for documentation ..." &&  $(ECHO) TreeMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeMapEnv.o: OCS/TreeMapEnv.c 
	@$(ECHO) "Generating $(ARCH) object code for TreeMapEnv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/TreeMapEnv.c -o OCS/TreeMapEnv.o
OCS/TreeZip.sign.inter: TreeZip.sign OCS/Tree.sign.inter OCS/Tree.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Signature of TreeZip ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. TreeZip  -h. -r  Tree Tree Tree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeZip for documentation ..." &&  $(ECHO) TreeZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeZip.impl.inter : TreeZip.impl OCS/TreeZip.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of TreeZip ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. TreeZip  -h. -r  Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking TreeZip for documentation ..." &&  $(ECHO) TreeZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeZip.c OCS/TreeZip.opt: OCS/TreeZip.impl.inter
	@if [ "$@" = "OCS/TreeZip.c" ] ; then $(ECHO) "Generating C Code for TreeZip ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. TreeZip  -h. -r  Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeZip for documentation ..." &&  $(ECHO) TreeZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeZip.o: OCS/TreeZip.c 
	@$(ECHO) "Generating $(ARCH) object code for TreeZip ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/TreeZip.c -o OCS/TreeZip.o
OCS/TreeCompare.sign.inter: TreeCompare.sign OCS/Tree.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Signature of TreeCompare ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. TreeCompare  -h. -r  Tree Tree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeCompare for documentation ..." &&  $(ECHO) TreeCompare >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeCompare.impl.inter : TreeCompare.impl OCS/TreeCompare.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of TreeCompare ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. TreeCompare  -h. -r  Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking TreeCompare for documentation ..." &&  $(ECHO) TreeCompare >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeCompare.c OCS/TreeCompare.opt: OCS/TreeCompare.impl.inter
	@if [ "$@" = "OCS/TreeCompare.c" ] ; then $(ECHO) "Generating C Code for TreeCompare ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. TreeCompare  -h. -r  Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking TreeCompare for documentation ..." &&  $(ECHO) TreeCompare >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/TreeCompare.o: OCS/TreeCompare.c 
	@$(ECHO) "Generating $(ARCH) object code for TreeCompare ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/TreeCompare.c -o OCS/TreeCompare.o
OCS/Heap.sign.inter: Heap.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Tree.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of Heap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Heap  -h../../BasicTypes -r  Nat -h../../AggregateTypes/SeqLike -r  Seq -h. -r  Tree -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Heap for documentation ..." &&  $(ECHO) Heap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Heap.impl.inter : Heap.impl OCS/Heap.sign.inter ../../Functions/General/OCS/Compose.sign.inter ../../AggregateTypes/ProductLike/OCS/AnonPair.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of Heap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Heap  -h../../Functions/General -r  Compose -h../../AggregateTypes/ProductLike -r  AnonPair -h. -r  Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Heap for documentation ..." &&  $(ECHO) Heap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Heap.c OCS/Heap.opt: OCS/Heap.impl.inter
	@if [ "$@" = "OCS/Heap.c" ] ; then $(ECHO) "Generating C Code for Heap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. Heap  -h../../Functions/General -r  Compose -h../../AggregateTypes/ProductLike -r  AnonPair -h. -r  Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Heap for documentation ..." &&  $(ECHO) Heap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Heap.o: OCS/Heap.c 
	@$(ECHO) "Generating $(ARCH) object code for Heap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Heap.c -o OCS/Heap.o
OCS/HeapConv.sign.inter: HeapConv.sign ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Tree.sign.inter OCS/Heap.sign.inter
	@$(ECHO) "Checking Signature of HeapConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. HeapConv  -h../../AggregateTypes/SeqLike -r  String Seq Seq -h. -r  Tree Heap $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapConv for documentation ..." &&  $(ECHO) HeapConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapConv.impl.inter : HeapConv.impl OCS/HeapConv.sign.inter ../../BasicTypes/OCS/PrintableChar.sign.inter ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter OCS/Heap.sign.inter OCS/TreeConv.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of HeapConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. HeapConv  -h../../BasicTypes -r  PrintableChar Char Denotation -h../../AggregateTypes/SeqLike -r  String -h. -r  Heap TreeConv Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking HeapConv for documentation ..." &&  $(ECHO) HeapConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapConv.c OCS/HeapConv.opt: OCS/HeapConv.impl.inter
	@if [ "$@" = "OCS/HeapConv.c" ] ; then $(ECHO) "Generating C Code for HeapConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. HeapConv  -h../../BasicTypes -r  PrintableChar Char Denotation -h../../AggregateTypes/SeqLike -r  String -h. -r  Heap TreeConv Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapConv for documentation ..." &&  $(ECHO) HeapConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapConv.o: OCS/HeapConv.c 
	@$(ECHO) "Generating $(ARCH) object code for HeapConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/HeapConv.c -o OCS/HeapConv.o
OCS/HeapFilter.sign.inter: HeapFilter.sign OCS/Heap.sign.inter
	@$(ECHO) "Checking Signature of HeapFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. HeapFilter  -h. -r  Heap $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapFilter for documentation ..." &&  $(ECHO) HeapFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapFilter.impl.inter : HeapFilter.impl OCS/HeapFilter.sign.inter OCS/TreeFilter.sign.inter OCS/Tree.sign.inter OCS/Heap.sign.inter
	@$(ECHO) "Checking Implementation of HeapFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. HeapFilter  -h. -r  TreeFilter Tree Heap $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking HeapFilter for documentation ..." &&  $(ECHO) HeapFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapFilter.c OCS/HeapFilter.opt: OCS/HeapFilter.impl.inter
	@if [ "$@" = "OCS/HeapFilter.c" ] ; then $(ECHO) "Generating C Code for HeapFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. HeapFilter  -h. -r  TreeFilter Tree Heap $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapFilter for documentation ..." &&  $(ECHO) HeapFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapFilter.o: OCS/HeapFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for HeapFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/HeapFilter.c -o OCS/HeapFilter.o
OCS/HeapIndex.sign.inter: HeapIndex.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/Heap.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of HeapIndex ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. HeapIndex  -h../../BasicTypes -r  Nat -h. -r  Heap -h../../AggregateTypes/UnionLike -r  Option Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapIndex for documentation ..." &&  $(ECHO) HeapIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapIndex.impl.inter : HeapIndex.impl OCS/HeapIndex.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../Functions/General/OCS/Compose.sign.inter OCS/IndexingOfTrees.sign.inter OCS/TreeIndex.sign.inter OCS/Tree.sign.inter OCS/Heap.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/OptionMap.sign.inter
	@$(ECHO) "Checking Implementation of HeapIndex ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. HeapIndex  -h../../BasicTypes -r  Denotation Nat -h../../Functions/General -r  Compose -h. -r  IndexingOfTrees TreeIndex Tree Heap -h../../AggregateTypes/UnionLike -r  Option OptionMap $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking HeapIndex for documentation ..." &&  $(ECHO) HeapIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapIndex.c OCS/HeapIndex.opt: OCS/HeapIndex.impl.inter
	@if [ "$@" = "OCS/HeapIndex.c" ] ; then $(ECHO) "Generating C Code for HeapIndex ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. HeapIndex  -h../../BasicTypes -r  Denotation Nat -h../../Functions/General -r  Compose -h. -r  IndexingOfTrees TreeIndex Tree Heap -h../../AggregateTypes/UnionLike -r  Option OptionMap $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapIndex for documentation ..." &&  $(ECHO) HeapIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapIndex.o: OCS/HeapIndex.c 
	@$(ECHO) "Generating $(ARCH) object code for HeapIndex ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/HeapIndex.c -o OCS/HeapIndex.o
OCS/HeapMap.sign.inter: HeapMap.sign OCS/Heap.sign.inter OCS/Heap.sign.inter
	@$(ECHO) "Checking Signature of HeapMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. HeapMap  -h. -r  Heap Heap $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapMap for documentation ..." &&  $(ECHO) HeapMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapMap.impl.inter : HeapMap.impl OCS/HeapMap.sign.inter OCS/HeapConv.sign.inter OCS/Heap.sign.inter OCS/TreeMap.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of HeapMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. HeapMap  -h. -r  HeapConv Heap TreeMap Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking HeapMap for documentation ..." &&  $(ECHO) HeapMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapMap.c OCS/HeapMap.opt: OCS/HeapMap.impl.inter
	@if [ "$@" = "OCS/HeapMap.c" ] ; then $(ECHO) "Generating C Code for HeapMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. HeapMap  -h. -r  HeapConv Heap TreeMap Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapMap for documentation ..." &&  $(ECHO) HeapMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapMap.o: OCS/HeapMap.c 
	@$(ECHO) "Generating $(ARCH) object code for HeapMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/HeapMap.c -o OCS/HeapMap.o
OCS/HeapMapEnv.sign.inter: HeapMapEnv.sign OCS/Heap.sign.inter OCS/Heap.sign.inter
	@$(ECHO) "Checking Signature of HeapMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. HeapMapEnv  -h. -r  Heap Heap $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapMapEnv for documentation ..." &&  $(ECHO) HeapMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapMapEnv.impl.inter : HeapMapEnv.impl OCS/HeapMapEnv.sign.inter OCS/Heap.sign.inter OCS/HeapConv.sign.inter OCS/TreeMapEnv.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of HeapMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. HeapMapEnv  -h. -r  Heap HeapConv TreeMapEnv Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking HeapMapEnv for documentation ..." &&  $(ECHO) HeapMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapMapEnv.c OCS/HeapMapEnv.opt: OCS/HeapMapEnv.impl.inter
	@if [ "$@" = "OCS/HeapMapEnv.c" ] ; then $(ECHO) "Generating C Code for HeapMapEnv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. HeapMapEnv  -h. -r  Heap HeapConv TreeMapEnv Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapMapEnv for documentation ..." &&  $(ECHO) HeapMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapMapEnv.o: OCS/HeapMapEnv.c 
	@$(ECHO) "Generating $(ARCH) object code for HeapMapEnv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/HeapMapEnv.c -o OCS/HeapMapEnv.o
OCS/HeapReduce.sign.inter: HeapReduce.sign OCS/Heap.sign.inter
	@$(ECHO) "Checking Signature of HeapReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. HeapReduce  -h. -r  Heap $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapReduce for documentation ..." &&  $(ECHO) HeapReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapReduce.impl.inter : HeapReduce.impl OCS/HeapReduce.sign.inter OCS/Heap.sign.inter OCS/TreeReduce.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of HeapReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. HeapReduce  -h. -r  Heap TreeReduce Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking HeapReduce for documentation ..." &&  $(ECHO) HeapReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapReduce.c OCS/HeapReduce.opt: OCS/HeapReduce.impl.inter
	@if [ "$@" = "OCS/HeapReduce.c" ] ; then $(ECHO) "Generating C Code for HeapReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. HeapReduce  -h. -r  Heap TreeReduce Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapReduce for documentation ..." &&  $(ECHO) HeapReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapReduce.o: OCS/HeapReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for HeapReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/HeapReduce.c -o OCS/HeapReduce.o
OCS/HeapZip.sign.inter: HeapZip.sign OCS/Heap.sign.inter OCS/Heap.sign.inter OCS/Heap.sign.inter
	@$(ECHO) "Checking Signature of HeapZip ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. HeapZip  -h. -r  Heap Heap Heap $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapZip for documentation ..." &&  $(ECHO) HeapZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapZip.impl.inter : HeapZip.impl OCS/HeapZip.sign.inter OCS/TreeZip.sign.inter OCS/HeapConv.sign.inter OCS/Tree.sign.inter OCS/Heap.sign.inter
	@$(ECHO) "Checking Implementation of HeapZip ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. HeapZip  -h. -r  TreeZip HeapConv Tree Heap $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking HeapZip for documentation ..." &&  $(ECHO) HeapZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapZip.c OCS/HeapZip.opt: OCS/HeapZip.impl.inter
	@if [ "$@" = "OCS/HeapZip.c" ] ; then $(ECHO) "Generating C Code for HeapZip ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. HeapZip  -h. -r  TreeZip HeapConv Tree Heap $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapZip for documentation ..." &&  $(ECHO) HeapZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapZip.o: OCS/HeapZip.c 
	@$(ECHO) "Generating $(ARCH) object code for HeapZip ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/HeapZip.c -o OCS/HeapZip.o
OCS/HeapCompare.sign.inter: HeapCompare.sign OCS/Heap.sign.inter OCS/Heap.sign.inter
	@$(ECHO) "Checking Signature of HeapCompare ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. HeapCompare  -h. -r  Heap Heap $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapCompare for documentation ..." &&  $(ECHO) HeapCompare >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapCompare.impl.inter : HeapCompare.impl OCS/HeapCompare.sign.inter OCS/Heap.sign.inter OCS/TreeCompare.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of HeapCompare ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. HeapCompare  -h. -r  Heap TreeCompare Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking HeapCompare for documentation ..." &&  $(ECHO) HeapCompare >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapCompare.c OCS/HeapCompare.opt: OCS/HeapCompare.impl.inter
	@if [ "$@" = "OCS/HeapCompare.c" ] ; then $(ECHO) "Generating C Code for HeapCompare ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. HeapCompare  -h. -r  Heap TreeCompare Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking HeapCompare for documentation ..." &&  $(ECHO) HeapCompare >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/HeapCompare.o: OCS/HeapCompare.c 
	@$(ECHO) "Generating $(ARCH) object code for HeapCompare ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/HeapCompare.c -o OCS/HeapCompare.o
OCS/BSTree.sign.inter: BSTree.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Tree.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of BSTree ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BSTree  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  Seq -h. -r  Tree -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTree for documentation ..." &&  $(ECHO) BSTree >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTree.impl.inter : BSTree.impl OCS/BSTree.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/AnonPair.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqMap.sign.inter OCS/TreeMapEnv.sign.inter OCS/Tree.sign.inter OCS/Tree.sign.inter ../../AggregateTypes/UnionLike/OCS/OptionMap.sign.inter
	@$(ECHO) "Checking Implementation of BSTree ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BSTree  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  AnonPair Pair -h../../AggregateTypes/SeqLike -r  SeqMap -h. -r  TreeMapEnv Tree Tree -h../../AggregateTypes/UnionLike -r  OptionMap $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BSTree for documentation ..." &&  $(ECHO) BSTree >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTree.c OCS/BSTree.opt: OCS/BSTree.impl.inter
	@if [ "$@" = "OCS/BSTree.c" ] ; then $(ECHO) "Generating C Code for BSTree ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BSTree  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  AnonPair Pair -h../../AggregateTypes/SeqLike -r  SeqMap -h. -r  TreeMapEnv Tree Tree -h../../AggregateTypes/UnionLike -r  OptionMap $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTree for documentation ..." &&  $(ECHO) BSTree >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTree.o: OCS/BSTree.c 
	@$(ECHO) "Generating $(ARCH) object code for BSTree ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BSTree.c -o OCS/BSTree.o
OCS/BSTreeConv.sign.inter: BSTreeConv.sign ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter OCS/Tree.sign.inter OCS/BSTree.sign.inter
	@$(ECHO) "Checking Signature of BSTreeConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BSTreeConv  -h../../AggregateTypes/SeqLike -r  String Seq Seq -h. -r  Tree BSTree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeConv for documentation ..." &&  $(ECHO) BSTreeConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeConv.impl.inter : BSTreeConv.impl OCS/BSTreeConv.sign.inter ../../BasicTypes/OCS/PrintableChar.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqReduce.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqMap.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter OCS/BSTree.sign.inter OCS/TreeConv.sign.inter OCS/TreeMap.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of BSTreeConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BSTreeConv  -h../../BasicTypes -r  PrintableChar Nat Char Denotation -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  SeqReduce SeqMap Seq String -h. -r  BSTree TreeConv TreeMap Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BSTreeConv for documentation ..." &&  $(ECHO) BSTreeConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeConv.c OCS/BSTreeConv.opt: OCS/BSTreeConv.impl.inter
	@if [ "$@" = "OCS/BSTreeConv.c" ] ; then $(ECHO) "Generating C Code for BSTreeConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BSTreeConv  -h../../BasicTypes -r  PrintableChar Nat Char Denotation -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  SeqReduce SeqMap Seq String -h. -r  BSTree TreeConv TreeMap Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeConv for documentation ..." &&  $(ECHO) BSTreeConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeConv.o: OCS/BSTreeConv.c 
	@$(ECHO) "Generating $(ARCH) object code for BSTreeConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BSTreeConv.c -o OCS/BSTreeConv.o
OCS/BSTreeCompare.sign.inter: BSTreeCompare.sign OCS/BSTree.sign.inter OCS/BSTree.sign.inter
	@$(ECHO) "Checking Signature of BSTreeCompare ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BSTreeCompare  -h. -r  BSTree BSTree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeCompare for documentation ..." &&  $(ECHO) BSTreeCompare >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeCompare.impl.inter : BSTreeCompare.impl OCS/BSTreeCompare.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/BSTree.sign.inter OCS/TreeCompare.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of BSTreeCompare ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BSTreeCompare  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h. -r  BSTree TreeCompare Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BSTreeCompare for documentation ..." &&  $(ECHO) BSTreeCompare >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeCompare.c OCS/BSTreeCompare.opt: OCS/BSTreeCompare.impl.inter
	@if [ "$@" = "OCS/BSTreeCompare.c" ] ; then $(ECHO) "Generating C Code for BSTreeCompare ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BSTreeCompare  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h. -r  BSTree TreeCompare Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeCompare for documentation ..." &&  $(ECHO) BSTreeCompare >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeCompare.o: OCS/BSTreeCompare.c 
	@$(ECHO) "Generating $(ARCH) object code for BSTreeCompare ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BSTreeCompare.c -o OCS/BSTreeCompare.o
OCS/BSTreeFilter.sign.inter: BSTreeFilter.sign OCS/BSTree.sign.inter
	@$(ECHO) "Checking Signature of BSTreeFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BSTreeFilter  -h. -r  BSTree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeFilter for documentation ..." &&  $(ECHO) BSTreeFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeFilter.impl.inter : BSTreeFilter.impl OCS/BSTreeFilter.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/TreeFilter.sign.inter OCS/Tree.sign.inter OCS/BSTree.sign.inter
	@$(ECHO) "Checking Implementation of BSTreeFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BSTreeFilter  -h../../BasicTypes -r  Denotation Nat -h../../AggregateTypes/ProductLike -r  Pair -h. -r  TreeFilter Tree BSTree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BSTreeFilter for documentation ..." &&  $(ECHO) BSTreeFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeFilter.c OCS/BSTreeFilter.opt: OCS/BSTreeFilter.impl.inter
	@if [ "$@" = "OCS/BSTreeFilter.c" ] ; then $(ECHO) "Generating C Code for BSTreeFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BSTreeFilter  -h../../BasicTypes -r  Denotation Nat -h../../AggregateTypes/ProductLike -r  Pair -h. -r  TreeFilter Tree BSTree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeFilter for documentation ..." &&  $(ECHO) BSTreeFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeFilter.o: OCS/BSTreeFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for BSTreeFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BSTreeFilter.c -o OCS/BSTreeFilter.o
OCS/BSTreeIndex.sign.inter: BSTreeIndex.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/BSTree.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of BSTreeIndex ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BSTreeIndex  -h../../BasicTypes -r  Nat -h. -r  BSTree -h../../AggregateTypes/UnionLike -r  Option Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeIndex for documentation ..." &&  $(ECHO) BSTreeIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeIndex.impl.inter : BSTreeIndex.impl OCS/BSTreeIndex.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../Functions/General/OCS/Compose.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/IndexingOfTrees.sign.inter OCS/TreeIndex.sign.inter OCS/Tree.sign.inter OCS/BSTree.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/OptionMap.sign.inter
	@$(ECHO) "Checking Implementation of BSTreeIndex ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BSTreeIndex  -h../../BasicTypes -r  Denotation Nat -h../../Functions/General -r  Compose -h../../AggregateTypes/ProductLike -r  Pair -h. -r  IndexingOfTrees TreeIndex Tree BSTree -h../../AggregateTypes/UnionLike -r  Option OptionMap $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BSTreeIndex for documentation ..." &&  $(ECHO) BSTreeIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeIndex.c OCS/BSTreeIndex.opt: OCS/BSTreeIndex.impl.inter
	@if [ "$@" = "OCS/BSTreeIndex.c" ] ; then $(ECHO) "Generating C Code for BSTreeIndex ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BSTreeIndex  -h../../BasicTypes -r  Denotation Nat -h../../Functions/General -r  Compose -h../../AggregateTypes/ProductLike -r  Pair -h. -r  IndexingOfTrees TreeIndex Tree BSTree -h../../AggregateTypes/UnionLike -r  Option OptionMap $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeIndex for documentation ..." &&  $(ECHO) BSTreeIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeIndex.o: OCS/BSTreeIndex.c 
	@$(ECHO) "Generating $(ARCH) object code for BSTreeIndex ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BSTreeIndex.c -o OCS/BSTreeIndex.o
OCS/BSTreeMap.sign.inter: BSTreeMap.sign OCS/BSTree.sign.inter OCS/BSTree.sign.inter
	@$(ECHO) "Checking Signature of BSTreeMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BSTreeMap  -h. -r  BSTree BSTree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeMap for documentation ..." &&  $(ECHO) BSTreeMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeMap.impl.inter : BSTreeMap.impl OCS/BSTreeMap.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/BSTreeConv.sign.inter OCS/BSTree.sign.inter OCS/TreeMap.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of BSTreeMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BSTreeMap  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h. -r  BSTreeConv BSTree TreeMap Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BSTreeMap for documentation ..." &&  $(ECHO) BSTreeMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeMap.c OCS/BSTreeMap.opt: OCS/BSTreeMap.impl.inter
	@if [ "$@" = "OCS/BSTreeMap.c" ] ; then $(ECHO) "Generating C Code for BSTreeMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BSTreeMap  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h. -r  BSTreeConv BSTree TreeMap Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeMap for documentation ..." &&  $(ECHO) BSTreeMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeMap.o: OCS/BSTreeMap.c 
	@$(ECHO) "Generating $(ARCH) object code for BSTreeMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BSTreeMap.c -o OCS/BSTreeMap.o
OCS/BSTreeMapEnv.sign.inter: BSTreeMapEnv.sign OCS/BSTree.sign.inter OCS/BSTree.sign.inter
	@$(ECHO) "Checking Signature of BSTreeMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BSTreeMapEnv  -h. -r  BSTree BSTree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeMapEnv for documentation ..." &&  $(ECHO) BSTreeMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeMapEnv.impl.inter : BSTreeMapEnv.impl OCS/BSTreeMapEnv.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/BSTree.sign.inter OCS/BSTreeConv.sign.inter OCS/TreeMapEnv.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of BSTreeMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BSTreeMapEnv  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h. -r  BSTree BSTreeConv TreeMapEnv Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BSTreeMapEnv for documentation ..." &&  $(ECHO) BSTreeMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeMapEnv.c OCS/BSTreeMapEnv.opt: OCS/BSTreeMapEnv.impl.inter
	@if [ "$@" = "OCS/BSTreeMapEnv.c" ] ; then $(ECHO) "Generating C Code for BSTreeMapEnv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BSTreeMapEnv  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h. -r  BSTree BSTreeConv TreeMapEnv Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeMapEnv for documentation ..." &&  $(ECHO) BSTreeMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeMapEnv.o: OCS/BSTreeMapEnv.c 
	@$(ECHO) "Generating $(ARCH) object code for BSTreeMapEnv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BSTreeMapEnv.c -o OCS/BSTreeMapEnv.o
OCS/BSTreeReduce.sign.inter: BSTreeReduce.sign OCS/BSTree.sign.inter
	@$(ECHO) "Checking Signature of BSTreeReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BSTreeReduce  -h. -r  BSTree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeReduce for documentation ..." &&  $(ECHO) BSTreeReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeReduce.impl.inter : BSTreeReduce.impl OCS/BSTreeReduce.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/BSTree.sign.inter OCS/TreeReduce.sign.inter OCS/Tree.sign.inter
	@$(ECHO) "Checking Implementation of BSTreeReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BSTreeReduce  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h. -r  BSTree TreeReduce Tree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BSTreeReduce for documentation ..." &&  $(ECHO) BSTreeReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeReduce.c OCS/BSTreeReduce.opt: OCS/BSTreeReduce.impl.inter
	@if [ "$@" = "OCS/BSTreeReduce.c" ] ; then $(ECHO) "Generating C Code for BSTreeReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BSTreeReduce  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h. -r  BSTree TreeReduce Tree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeReduce for documentation ..." &&  $(ECHO) BSTreeReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeReduce.o: OCS/BSTreeReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for BSTreeReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BSTreeReduce.c -o OCS/BSTreeReduce.o
OCS/BSTreeZip.sign.inter: BSTreeZip.sign OCS/BSTree.sign.inter OCS/BSTree.sign.inter OCS/BSTree.sign.inter
	@$(ECHO) "Checking Signature of BSTreeZip ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BSTreeZip  -h. -r  BSTree BSTree BSTree $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeZip for documentation ..." &&  $(ECHO) BSTreeZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeZip.impl.inter : BSTreeZip.impl OCS/BSTreeZip.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/TreeZip.sign.inter OCS/BSTreeConv.sign.inter OCS/TreeMap.sign.inter OCS/Tree.sign.inter OCS/BSTree.sign.inter
	@$(ECHO) "Checking Implementation of BSTreeZip ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BSTreeZip  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h. -r  TreeZip BSTreeConv TreeMap Tree BSTree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BSTreeZip for documentation ..." &&  $(ECHO) BSTreeZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeZip.c OCS/BSTreeZip.opt: OCS/BSTreeZip.impl.inter
	@if [ "$@" = "OCS/BSTreeZip.c" ] ; then $(ECHO) "Generating C Code for BSTreeZip ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BSTreeZip  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h. -r  TreeZip BSTreeConv TreeMap Tree BSTree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BSTreeZip for documentation ..." &&  $(ECHO) BSTreeZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BSTreeZip.o: OCS/BSTreeZip.c 
	@$(ECHO) "Generating $(ARCH) object code for BSTreeZip ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BSTreeZip.c -o OCS/BSTreeZip.o
