# system SeqLike
SYSTEM = SeqLike
SYS_LDFLAGS = $(VAR_LDFLAGS) 
SYS_LDLIBS =  -lUnionLike -lProductLike -lGeneral -lOrderings -lSpecial -lBasicTypes -lCompiler $(VAR_LDLIBS)
SYS_LDLIBPATH =  -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 =  ../../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 =  Seq String StringMapSeq StringConv SeqConv SeqCompare SeqFilter SeqFold SeqIndex SeqMap SeqMapEnv SeqReduce SeqOfSeq SeqSort SeqZip StringFilter StringFold StringMap StringReduce StringIndex BTUnion BTUnionConv StringFormat StringScan ISeq ISeqConv ISeqFilter ISeqIndex ISeqMap ISeqMapEnv ISeqSort ISeqZip ISeqUnreduce Seqs Strings
SIGNS =  Seq.sign String.sign StringMapSeq.sign StringConv.sign SeqConv.sign SeqCompare.sign SeqFilter.sign SeqFold.sign SeqIndex.sign SeqMap.sign SeqMapEnv.sign SeqReduce.sign SeqOfSeq.sign SeqSort.sign SeqZip.sign StringFilter.sign StringFold.sign StringMap.sign StringReduce.sign StringIndex.sign BTUnion.sign BTUnionConv.sign StringFormat.sign StringScan.sign ISeq.sign ISeqConv.sign ISeqFilter.sign ISeqIndex.sign ISeqMap.sign ISeqMapEnv.sign ISeqSort.sign ISeqZip.sign ISeqUnreduce.sign Seqs.sign Strings.sign
IMPLS =  Seq.impl String.impl StringMapSeq.impl StringConv.impl SeqConv.impl SeqCompare.impl SeqFilter.impl SeqFold.impl SeqIndex.impl SeqMap.impl SeqMapEnv.impl SeqReduce.impl SeqOfSeq.impl SeqSort.impl SeqZip.impl StringFilter.impl StringFold.impl StringMap.impl StringReduce.impl StringIndex.impl BTUnion.impl BTUnionConv.impl StringFormat.impl StringScan.impl ISeq.impl ISeqConv.impl ISeqFilter.impl ISeqIndex.impl ISeqMap.impl ISeqMapEnv.impl ISeqSort.impl ISeqZip.impl ISeqUnreduce.impl Seqs.impl Strings.impl
EXPS =  OCS/Seq.sign.inter OCS/String.sign.inter OCS/StringMapSeq.sign.inter OCS/StringConv.sign.inter OCS/SeqConv.sign.inter OCS/SeqCompare.sign.inter OCS/SeqFilter.sign.inter OCS/SeqFold.sign.inter OCS/SeqIndex.sign.inter OCS/SeqMap.sign.inter OCS/SeqMapEnv.sign.inter OCS/SeqReduce.sign.inter OCS/SeqOfSeq.sign.inter OCS/SeqSort.sign.inter OCS/SeqZip.sign.inter OCS/StringFilter.sign.inter OCS/StringFold.sign.inter OCS/StringMap.sign.inter OCS/StringReduce.sign.inter OCS/StringIndex.sign.inter OCS/BTUnion.sign.inter OCS/BTUnionConv.sign.inter OCS/StringFormat.sign.inter OCS/StringScan.sign.inter OCS/ISeq.sign.inter OCS/ISeqConv.sign.inter OCS/ISeqFilter.sign.inter OCS/ISeqIndex.sign.inter OCS/ISeqMap.sign.inter OCS/ISeqMapEnv.sign.inter OCS/ISeqSort.sign.inter OCS/ISeqZip.sign.inter OCS/ISeqUnreduce.sign.inter OCS/Seqs.sign.inter OCS/Strings.sign.inter
ANAS =  OCS/Seq.impl.inter OCS/String.impl.inter OCS/StringMapSeq.impl.inter OCS/StringConv.impl.inter OCS/SeqConv.impl.inter OCS/SeqCompare.impl.inter OCS/SeqFilter.impl.inter OCS/SeqFold.impl.inter OCS/SeqIndex.impl.inter OCS/SeqMap.impl.inter OCS/SeqMapEnv.impl.inter OCS/SeqReduce.impl.inter OCS/SeqOfSeq.impl.inter OCS/SeqSort.impl.inter OCS/SeqZip.impl.inter OCS/StringFilter.impl.inter OCS/StringFold.impl.inter OCS/StringMap.impl.inter OCS/StringReduce.impl.inter OCS/StringIndex.impl.inter OCS/BTUnion.impl.inter OCS/BTUnionConv.impl.inter OCS/StringFormat.impl.inter OCS/StringScan.impl.inter OCS/ISeq.impl.inter OCS/ISeqConv.impl.inter OCS/ISeqFilter.impl.inter OCS/ISeqIndex.impl.inter OCS/ISeqMap.impl.inter OCS/ISeqMapEnv.impl.inter OCS/ISeqSort.impl.inter OCS/ISeqZip.impl.inter OCS/ISeqUnreduce.impl.inter OCS/Seqs.impl.inter OCS/Strings.impl.inter
OPTS =  OCS/Seq.opt OCS/String.opt OCS/StringMapSeq.opt OCS/StringConv.opt OCS/SeqConv.opt OCS/SeqCompare.opt OCS/SeqFilter.opt OCS/SeqFold.opt OCS/SeqIndex.opt OCS/SeqMap.opt OCS/SeqMapEnv.opt OCS/SeqReduce.opt OCS/SeqOfSeq.opt OCS/SeqSort.opt OCS/SeqZip.opt OCS/StringFilter.opt OCS/StringFold.opt OCS/StringMap.opt OCS/StringReduce.opt OCS/StringIndex.opt OCS/BTUnion.opt OCS/BTUnionConv.opt OCS/StringFormat.opt OCS/StringScan.opt OCS/ISeq.opt OCS/ISeqConv.opt OCS/ISeqFilter.opt OCS/ISeqIndex.opt OCS/ISeqMap.opt OCS/ISeqMapEnv.opt OCS/ISeqSort.opt OCS/ISeqZip.opt OCS/ISeqUnreduce.opt OCS/Seqs.opt OCS/Strings.opt
CS =  OCS/Seq.c OCS/String.c OCS/StringMapSeq.c OCS/StringConv.c OCS/SeqConv.c OCS/SeqCompare.c OCS/SeqFilter.c OCS/SeqFold.c OCS/SeqIndex.c OCS/SeqMap.c OCS/SeqMapEnv.c OCS/SeqReduce.c OCS/SeqOfSeq.c OCS/SeqSort.c OCS/SeqZip.c OCS/StringFilter.c OCS/StringFold.c OCS/StringMap.c OCS/StringReduce.c OCS/StringIndex.c OCS/BTUnion.c OCS/BTUnionConv.c OCS/StringFormat.c OCS/StringScan.c OCS/ISeq.c OCS/ISeqConv.c OCS/ISeqFilter.c OCS/ISeqIndex.c OCS/ISeqMap.c OCS/ISeqMapEnv.c OCS/ISeqSort.c OCS/ISeqZip.c OCS/ISeqUnreduce.c OCS/Seqs.c OCS/Strings.c
OS =  OCS/Seq.o OCS/String.o OCS/StringMapSeq.o OCS/StringConv.o OCS/SeqConv.o OCS/SeqCompare.o OCS/SeqFilter.o OCS/SeqFold.o OCS/SeqIndex.o OCS/SeqMap.o OCS/SeqMapEnv.o OCS/SeqReduce.o OCS/SeqOfSeq.o OCS/SeqSort.o OCS/SeqZip.o OCS/StringFilter.o OCS/StringFold.o OCS/StringMap.o OCS/StringReduce.o OCS/StringIndex.o OCS/BTUnion.o OCS/BTUnionConv.o OCS/StringFormat.o OCS/StringScan.o OCS/ISeq.o OCS/ISeqConv.o OCS/ISeqFilter.o OCS/ISeqIndex.o OCS/ISeqMap.o OCS/ISeqMapEnv.o OCS/ISeqSort.o OCS/ISeqZip.o OCS/ISeqUnreduce.o OCS/Seqs.o OCS/Strings.o
ESYSTEMS =  ../../Internal/Compiler ../../BasicTypes ../../Functions/Special ../../Functions/Orderings ../../Functions/General ../../AggregateTypes/ProductLike ../../AggregateTypes/UnionLike
FSYSTEMS = 
SIGNDEPS =  OCS/Seq.sign.deps OCS/String.sign.deps OCS/StringMapSeq.sign.deps OCS/StringConv.sign.deps OCS/SeqConv.sign.deps OCS/SeqCompare.sign.deps OCS/SeqFilter.sign.deps OCS/SeqFold.sign.deps OCS/SeqIndex.sign.deps OCS/SeqMap.sign.deps OCS/SeqMapEnv.sign.deps OCS/SeqReduce.sign.deps OCS/SeqOfSeq.sign.deps OCS/SeqSort.sign.deps OCS/SeqZip.sign.deps OCS/StringFilter.sign.deps OCS/StringFold.sign.deps OCS/StringMap.sign.deps OCS/StringReduce.sign.deps OCS/StringIndex.sign.deps OCS/BTUnion.sign.deps OCS/BTUnionConv.sign.deps OCS/StringFormat.sign.deps OCS/StringScan.sign.deps OCS/ISeq.sign.deps OCS/ISeqConv.sign.deps OCS/ISeqFilter.sign.deps OCS/ISeqIndex.sign.deps OCS/ISeqMap.sign.deps OCS/ISeqMapEnv.sign.deps OCS/ISeqSort.sign.deps OCS/ISeqZip.sign.deps OCS/ISeqUnreduce.sign.deps OCS/Seqs.sign.deps OCS/Strings.sign.deps
IMPLDEPS =  OCS/Seq.impl.deps OCS/String.impl.deps OCS/StringMapSeq.impl.deps OCS/StringConv.impl.deps OCS/SeqConv.impl.deps OCS/SeqCompare.impl.deps OCS/SeqFilter.impl.deps OCS/SeqFold.impl.deps OCS/SeqIndex.impl.deps OCS/SeqMap.impl.deps OCS/SeqMapEnv.impl.deps OCS/SeqReduce.impl.deps OCS/SeqOfSeq.impl.deps OCS/SeqSort.impl.deps OCS/SeqZip.impl.deps OCS/StringFilter.impl.deps OCS/StringFold.impl.deps OCS/StringMap.impl.deps OCS/StringReduce.impl.deps OCS/StringIndex.impl.deps OCS/BTUnion.impl.deps OCS/BTUnionConv.impl.deps OCS/StringFormat.impl.deps OCS/StringScan.impl.deps OCS/ISeq.impl.deps OCS/ISeqConv.impl.deps OCS/ISeqFilter.impl.deps OCS/ISeqIndex.impl.deps OCS/ISeqMap.impl.deps OCS/ISeqMapEnv.impl.deps OCS/ISeqSort.impl.deps OCS/ISeqZip.impl.deps OCS/ISeqUnreduce.impl.deps OCS/Seqs.impl.deps OCS/Strings.impl.deps
OCS/Seq.sign.inter: Seq.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of Seq ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Seq  -h../../BasicTypes -r  Nat -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Seq for documentation ..." &&  $(ECHO) Seq >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Seq.impl.inter : Seq.impl OCS/Seq.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of Seq ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Seq  -h../../BasicTypes -r  Nat -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Seq for documentation ..." &&  $(ECHO) Seq >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Seq.c OCS/Seq.opt: OCS/Seq.impl.inter
	@if [ "$@" = "OCS/Seq.c" ] ; then $(ECHO) "Generating C Code for Seq ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. Seq  -h../../BasicTypes -r  Nat -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Seq for documentation ..." &&  $(ECHO) Seq >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Seq.o: OCS/Seq.c 
	@$(ECHO) "Generating $(ARCH) object code for Seq ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Seq.c -o OCS/Seq.o
OCS/String.sign.inter: String.sign ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of String ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. String  -h../../BasicTypes -r  Char Nat -h. -r  Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking String for documentation ..." &&  $(ECHO) String >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/String.impl.inter : String.impl OCS/String.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of String ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. String  -h../../BasicTypes -r  Denotation Char Nat -h. -r  Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking String for documentation ..." &&  $(ECHO) String >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/String.c OCS/String.opt: OCS/String.impl.inter
	@if [ "$@" = "OCS/String.c" ] ; then $(ECHO) "Generating C Code for String ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignTemplate  -h. String  -h../../BasicTypes -r  Denotation Char Nat -h. -r  Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking String for documentation ..." &&  $(ECHO) String >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/String.o: OCS/String.c String.hc.c String.hc.h
	@$(ECHO) "Generating $(ARCH) object code for String ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/String.c -o OCS/String.o
OCS/StringMapSeq.sign.inter: StringMapSeq.sign ../../BasicTypes/OCS/Char.sign.inter OCS/Seq.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Signature of StringMapSeq ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. StringMapSeq  -h../../BasicTypes -r  Char -h. -r  Seq String $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringMapSeq for documentation ..." &&  $(ECHO) StringMapSeq >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringMapSeq.impl.inter : StringMapSeq.impl OCS/StringMapSeq.sign.inter OCS/Seq.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Implementation of StringMapSeq ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. StringMapSeq  -h. -r  Seq String $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking StringMapSeq for documentation ..." &&  $(ECHO) StringMapSeq >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringMapSeq.c OCS/StringMapSeq.opt: OCS/StringMapSeq.impl.inter
	@if [ "$@" = "OCS/StringMapSeq.c" ] ; then $(ECHO) "Generating C Code for StringMapSeq ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. StringMapSeq  -h. -r  Seq String $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringMapSeq for documentation ..." &&  $(ECHO) StringMapSeq >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringMapSeq.o: OCS/StringMapSeq.c 
	@$(ECHO) "Generating $(ARCH) object code for StringMapSeq ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/StringMapSeq.c -o OCS/StringMapSeq.o
OCS/StringConv.sign.inter: StringConv.sign ../../BasicTypes/OCS/Char.sign.inter OCS/Seq.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Signature of StringConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. StringConv  -h../../BasicTypes -r  Char -h. -r  Seq String $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringConv for documentation ..." &&  $(ECHO) StringConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringConv.impl.inter : StringConv.impl OCS/StringConv.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Seq.sign.inter OCS/StringMapSeq.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Implementation of StringConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. StringConv  -h../../BasicTypes -r  Denotation Char Nat -h. -r  Seq StringMapSeq String $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking StringConv for documentation ..." &&  $(ECHO) StringConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringConv.c OCS/StringConv.opt: OCS/StringConv.impl.inter
	@if [ "$@" = "OCS/StringConv.c" ] ; then $(ECHO) "Generating C Code for StringConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. StringConv  -h../../BasicTypes -r  Denotation Char Nat -h. -r  Seq StringMapSeq String $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringConv for documentation ..." &&  $(ECHO) StringConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringConv.o: OCS/StringConv.c 
	@$(ECHO) "Generating $(ARCH) object code for StringConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/StringConv.c -o OCS/StringConv.o
OCS/SeqConv.sign.inter: SeqConv.sign OCS/String.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of SeqConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SeqConv  -h. -r  String Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqConv for documentation ..." &&  $(ECHO) SeqConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqConv.impl.inter : SeqConv.impl OCS/SeqConv.sign.inter ../../BasicTypes/OCS/Char.sign.inter OCS/Seq.sign.inter OCS/StringConv.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Implementation of SeqConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SeqConv  -h../../BasicTypes -r  Char -h. -r  Seq StringConv String $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SeqConv for documentation ..." &&  $(ECHO) SeqConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqConv.c OCS/SeqConv.opt: OCS/SeqConv.impl.inter
	@if [ "$@" = "OCS/SeqConv.c" ] ; then $(ECHO) "Generating C Code for SeqConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SeqConv  -h../../BasicTypes -r  Char -h. -r  Seq StringConv String $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqConv for documentation ..." &&  $(ECHO) SeqConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqConv.o: OCS/SeqConv.c 
	@$(ECHO) "Generating $(ARCH) object code for SeqConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SeqConv.c -o OCS/SeqConv.o
OCS/SeqCompare.sign.inter: SeqCompare.sign ../../BasicTypes/OCS/RelCmp.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of SeqCompare ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SeqCompare  -h../../BasicTypes -r  RelCmp -h. -r  Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqCompare for documentation ..." &&  $(ECHO) SeqCompare >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqCompare.impl.inter : SeqCompare.impl OCS/SeqCompare.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of SeqCompare ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SeqCompare  -h. -r  Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SeqCompare for documentation ..." &&  $(ECHO) SeqCompare >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqCompare.c OCS/SeqCompare.opt: OCS/SeqCompare.impl.inter
	@if [ "$@" = "OCS/SeqCompare.c" ] ; then $(ECHO) "Generating C Code for SeqCompare ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SeqCompare  -h. -r  Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqCompare for documentation ..." &&  $(ECHO) SeqCompare >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqCompare.o: OCS/SeqCompare.c 
	@$(ECHO) "Generating $(ARCH) object code for SeqCompare ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SeqCompare.c -o OCS/SeqCompare.o
OCS/SeqFilter.sign.inter: SeqFilter.sign OCS/Seq.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of SeqFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SeqFilter  -h. -r  Seq Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqFilter for documentation ..." &&  $(ECHO) SeqFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqFilter.impl.inter : SeqFilter.impl OCS/SeqFilter.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of SeqFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SeqFilter  -h. -r  Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SeqFilter for documentation ..." &&  $(ECHO) SeqFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqFilter.c OCS/SeqFilter.opt: OCS/SeqFilter.impl.inter
	@if [ "$@" = "OCS/SeqFilter.c" ] ; then $(ECHO) "Generating C Code for SeqFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SeqFilter  -h. -r  Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqFilter for documentation ..." &&  $(ECHO) SeqFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqFilter.o: OCS/SeqFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for SeqFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SeqFilter.c -o OCS/SeqFilter.o
OCS/SeqFold.sign.inter: SeqFold.sign OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of SeqFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SeqFold  -h. -r  Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqFold for documentation ..." &&  $(ECHO) SeqFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqFold.impl.inter : SeqFold.impl OCS/SeqFold.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of SeqFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SeqFold  -h. -r  Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SeqFold for documentation ..." &&  $(ECHO) SeqFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqFold.c OCS/SeqFold.opt: OCS/SeqFold.impl.inter
	@if [ "$@" = "OCS/SeqFold.c" ] ; then $(ECHO) "Generating C Code for SeqFold ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SeqFold  -h. -r  Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqFold for documentation ..." &&  $(ECHO) SeqFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqFold.o: OCS/SeqFold.c 
	@$(ECHO) "Generating $(ARCH) object code for SeqFold ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SeqFold.c -o OCS/SeqFold.o
OCS/SeqIndex.sign.inter: SeqIndex.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of SeqIndex ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SeqIndex  -h../../BasicTypes -r  Nat -h. -r  Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqIndex for documentation ..." &&  $(ECHO) SeqIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqIndex.impl.inter : SeqIndex.impl OCS/SeqIndex.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/OptionMap.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of SeqIndex ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SeqIndex  -h../../BasicTypes -r  Nat -h. -r  Seq -h../../AggregateTypes/UnionLike -r  OptionMap Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SeqIndex for documentation ..." &&  $(ECHO) SeqIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqIndex.c OCS/SeqIndex.opt: OCS/SeqIndex.impl.inter
	@if [ "$@" = "OCS/SeqIndex.c" ] ; then $(ECHO) "Generating C Code for SeqIndex ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SeqIndex  -h../../BasicTypes -r  Nat -h. -r  Seq -h../../AggregateTypes/UnionLike -r  OptionMap Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqIndex for documentation ..." &&  $(ECHO) SeqIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqIndex.o: OCS/SeqIndex.c 
	@$(ECHO) "Generating $(ARCH) object code for SeqIndex ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SeqIndex.c -o OCS/SeqIndex.o
OCS/SeqMap.sign.inter: SeqMap.sign OCS/Seq.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of SeqMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SeqMap  -h. -r  Seq Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqMap for documentation ..." &&  $(ECHO) SeqMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqMap.impl.inter : SeqMap.impl OCS/SeqMap.sign.inter OCS/Seq.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of SeqMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SeqMap  -h. -r  Seq Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SeqMap for documentation ..." &&  $(ECHO) SeqMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqMap.c OCS/SeqMap.opt: OCS/SeqMap.impl.inter
	@if [ "$@" = "OCS/SeqMap.c" ] ; then $(ECHO) "Generating C Code for SeqMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SeqMap  -h. -r  Seq Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqMap for documentation ..." &&  $(ECHO) SeqMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqMap.o: OCS/SeqMap.c 
	@$(ECHO) "Generating $(ARCH) object code for SeqMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SeqMap.c -o OCS/SeqMap.o
OCS/SeqMapEnv.sign.inter: SeqMapEnv.sign OCS/Seq.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of SeqMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SeqMapEnv  -h. -r  Seq Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqMapEnv for documentation ..." &&  $(ECHO) SeqMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqMapEnv.impl.inter : SeqMapEnv.impl OCS/SeqMapEnv.sign.inter OCS/Seq.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of SeqMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SeqMapEnv  -h. -r  Seq Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SeqMapEnv for documentation ..." &&  $(ECHO) SeqMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqMapEnv.c OCS/SeqMapEnv.opt: OCS/SeqMapEnv.impl.inter
	@if [ "$@" = "OCS/SeqMapEnv.c" ] ; then $(ECHO) "Generating C Code for SeqMapEnv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SeqMapEnv  -h. -r  Seq Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqMapEnv for documentation ..." &&  $(ECHO) SeqMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqMapEnv.o: OCS/SeqMapEnv.c 
	@$(ECHO) "Generating $(ARCH) object code for SeqMapEnv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SeqMapEnv.c -o OCS/SeqMapEnv.o
OCS/SeqReduce.sign.inter: SeqReduce.sign OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of SeqReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SeqReduce  -h. -r  Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqReduce for documentation ..." &&  $(ECHO) SeqReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqReduce.impl.inter : SeqReduce.impl OCS/SeqReduce.sign.inter OCS/Seq.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of SeqReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SeqReduce  -h. -r  Seq Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SeqReduce for documentation ..." &&  $(ECHO) SeqReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqReduce.c OCS/SeqReduce.opt: OCS/SeqReduce.impl.inter
	@if [ "$@" = "OCS/SeqReduce.c" ] ; then $(ECHO) "Generating C Code for SeqReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SeqReduce  -h. -r  Seq Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqReduce for documentation ..." &&  $(ECHO) SeqReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqReduce.o: OCS/SeqReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for SeqReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SeqReduce.c -o OCS/SeqReduce.o
OCS/SeqOfSeq.sign.inter: SeqOfSeq.sign OCS/Seq.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of SeqOfSeq ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SeqOfSeq  -h. -r  Seq Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqOfSeq for documentation ..." &&  $(ECHO) SeqOfSeq >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqOfSeq.impl.inter : SeqOfSeq.impl OCS/SeqOfSeq.sign.inter OCS/SeqReduce.sign.inter OCS/SeqMap.sign.inter OCS/SeqFilter.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of SeqOfSeq ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SeqOfSeq  -h. -r  SeqReduce SeqMap SeqFilter Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SeqOfSeq for documentation ..." &&  $(ECHO) SeqOfSeq >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqOfSeq.c OCS/SeqOfSeq.opt: OCS/SeqOfSeq.impl.inter
	@if [ "$@" = "OCS/SeqOfSeq.c" ] ; then $(ECHO) "Generating C Code for SeqOfSeq ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SeqOfSeq  -h. -r  SeqReduce SeqMap SeqFilter Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqOfSeq for documentation ..." &&  $(ECHO) SeqOfSeq >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqOfSeq.o: OCS/SeqOfSeq.c 
	@$(ECHO) "Generating $(ARCH) object code for SeqOfSeq ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SeqOfSeq.c -o OCS/SeqOfSeq.o
OCS/SeqSort.sign.inter: SeqSort.sign OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of SeqSort ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SeqSort  -h. -r  Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqSort for documentation ..." &&  $(ECHO) SeqSort >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqSort.impl.inter : SeqSort.impl OCS/SeqSort.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of SeqSort ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SeqSort  -h../../BasicTypes -r  Nat -h. -r  Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SeqSort for documentation ..." &&  $(ECHO) SeqSort >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqSort.c OCS/SeqSort.opt: OCS/SeqSort.impl.inter
	@if [ "$@" = "OCS/SeqSort.c" ] ; then $(ECHO) "Generating C Code for SeqSort ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SeqSort  -h../../BasicTypes -r  Nat -h. -r  Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqSort for documentation ..." &&  $(ECHO) SeqSort >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqSort.o: OCS/SeqSort.c 
	@$(ECHO) "Generating $(ARCH) object code for SeqSort ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SeqSort.c -o OCS/SeqSort.o
OCS/SeqZip.sign.inter: SeqZip.sign OCS/Seq.sign.inter OCS/Seq.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of SeqZip ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. SeqZip  -h. -r  Seq Seq Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqZip for documentation ..." &&  $(ECHO) SeqZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqZip.impl.inter : SeqZip.impl OCS/SeqZip.sign.inter OCS/Seq.sign.inter OCS/Seq.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of SeqZip ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. SeqZip  -h. -r  Seq Seq Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking SeqZip for documentation ..." &&  $(ECHO) SeqZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqZip.c OCS/SeqZip.opt: OCS/SeqZip.impl.inter
	@if [ "$@" = "OCS/SeqZip.c" ] ; then $(ECHO) "Generating C Code for SeqZip ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. SeqZip  -h. -r  Seq Seq Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking SeqZip for documentation ..." &&  $(ECHO) SeqZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/SeqZip.o: OCS/SeqZip.c 
	@$(ECHO) "Generating $(ARCH) object code for SeqZip ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/SeqZip.c -o OCS/SeqZip.o
OCS/StringFilter.sign.inter: StringFilter.sign ../../BasicTypes/OCS/Char.sign.inter OCS/Seq.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Signature of StringFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. StringFilter  -h../../BasicTypes -r  Char -h. -r  Seq String $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringFilter for documentation ..." &&  $(ECHO) StringFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringFilter.impl.inter : StringFilter.impl OCS/StringFilter.sign.inter ../../Functions/General/OCS/Compose.sign.inter OCS/Seq.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Implementation of StringFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. StringFilter  -h../../Functions/General -r  Compose -h. -r  Seq String $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking StringFilter for documentation ..." &&  $(ECHO) StringFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringFilter.c OCS/StringFilter.opt: OCS/StringFilter.impl.inter
	@if [ "$@" = "OCS/StringFilter.c" ] ; then $(ECHO) "Generating C Code for StringFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. StringFilter  -h../../Functions/General -r  Compose -h. -r  Seq String $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringFilter for documentation ..." &&  $(ECHO) StringFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringFilter.o: OCS/StringFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for StringFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/StringFilter.c -o OCS/StringFilter.o
OCS/StringFold.sign.inter: StringFold.sign ../../BasicTypes/OCS/Char.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Signature of StringFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. StringFold  -h../../BasicTypes -r  Char -h. -r  String $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringFold for documentation ..." &&  $(ECHO) StringFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringFold.impl.inter : StringFold.impl OCS/StringFold.sign.inter ../../BasicTypes/OCS/Char.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Implementation of StringFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. StringFold  -h../../BasicTypes -r  Char -h. -r  String $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking StringFold for documentation ..." &&  $(ECHO) StringFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringFold.c OCS/StringFold.opt: OCS/StringFold.impl.inter
	@if [ "$@" = "OCS/StringFold.c" ] ; then $(ECHO) "Generating C Code for StringFold ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. StringFold  -h../../BasicTypes -r  Char -h. -r  String $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringFold for documentation ..." &&  $(ECHO) StringFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringFold.o: OCS/StringFold.c 
	@$(ECHO) "Generating $(ARCH) object code for StringFold ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/StringFold.c -o OCS/StringFold.o
OCS/StringMap.sign.inter: StringMap.sign ../../BasicTypes/OCS/Char.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Signature of StringMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. StringMap  -h../../BasicTypes -r  Char -h. -r  String $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringMap for documentation ..." &&  $(ECHO) StringMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringMap.impl.inter : StringMap.impl OCS/StringMap.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Implementation of StringMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. StringMap  -h../../BasicTypes -r  Nat Char Denotation -h. -r  String $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking StringMap for documentation ..." &&  $(ECHO) StringMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringMap.c OCS/StringMap.opt: OCS/StringMap.impl.inter
	@if [ "$@" = "OCS/StringMap.c" ] ; then $(ECHO) "Generating C Code for StringMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. StringMap  -h../../BasicTypes -r  Nat Char Denotation -h. -r  String $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringMap for documentation ..." &&  $(ECHO) StringMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringMap.o: OCS/StringMap.c 
	@$(ECHO) "Generating $(ARCH) object code for StringMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/StringMap.c -o OCS/StringMap.o
OCS/StringReduce.sign.inter: StringReduce.sign ../../BasicTypes/OCS/Char.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Signature of StringReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. StringReduce  -h../../BasicTypes -r  Char -h. -r  String $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringReduce for documentation ..." &&  $(ECHO) StringReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringReduce.impl.inter : StringReduce.impl OCS/StringReduce.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Implementation of StringReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. StringReduce  -h. -r  String $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking StringReduce for documentation ..." &&  $(ECHO) StringReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringReduce.c OCS/StringReduce.opt: OCS/StringReduce.impl.inter
	@if [ "$@" = "OCS/StringReduce.c" ] ; then $(ECHO) "Generating C Code for StringReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. StringReduce  -h. -r  String $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringReduce for documentation ..." &&  $(ECHO) StringReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringReduce.o: OCS/StringReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for StringReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/StringReduce.c -o OCS/StringReduce.o
OCS/StringIndex.sign.inter: StringIndex.sign ../../BasicTypes/OCS/Nat.sign.inter ../../BasicTypes/OCS/Char.sign.inter OCS/String.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of StringIndex ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. StringIndex  -h../../BasicTypes -r  Nat Char -h. -r  String -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringIndex for documentation ..." &&  $(ECHO) StringIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringIndex.impl.inter : StringIndex.impl OCS/StringIndex.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/String.sign.inter ../../AggregateTypes/UnionLike/OCS/OptionMap.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of StringIndex ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. StringIndex  -h../../BasicTypes -r  Denotation Nat -h. -r  String -h../../AggregateTypes/UnionLike -r  OptionMap Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking StringIndex for documentation ..." &&  $(ECHO) StringIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringIndex.c OCS/StringIndex.opt: OCS/StringIndex.impl.inter
	@if [ "$@" = "OCS/StringIndex.c" ] ; then $(ECHO) "Generating C Code for StringIndex ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. StringIndex  -h../../BasicTypes -r  Denotation Nat -h. -r  String -h../../AggregateTypes/UnionLike -r  OptionMap Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringIndex for documentation ..." &&  $(ECHO) StringIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringIndex.o: OCS/StringIndex.c 
	@$(ECHO) "Generating $(ARCH) object code for StringIndex ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/StringIndex.c -o OCS/StringIndex.o
OCS/BTUnion.sign.inter: BTUnion.sign ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/Real.sign.inter ../../BasicTypes/OCS/Int.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Seq.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Signature of BTUnion ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BTUnion  -h../../BasicTypes -r  Char Real Int Nat -h. -r  Seq String $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BTUnion for documentation ..." &&  $(ECHO) BTUnion >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BTUnion.impl.inter : BTUnion.impl OCS/BTUnion.sign.inter ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/Real.sign.inter ../../BasicTypes/OCS/Int.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/String.sign.inter OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of BTUnion ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BTUnion  -h../../BasicTypes -r  Char Real Int Nat -h. -r  String Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BTUnion for documentation ..." &&  $(ECHO) BTUnion >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BTUnion.c OCS/BTUnion.opt: OCS/BTUnion.impl.inter
	@if [ "$@" = "OCS/BTUnion.c" ] ; then $(ECHO) "Generating C Code for BTUnion ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BTUnion  -h../../BasicTypes -r  Char Real Int Nat -h. -r  String Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BTUnion for documentation ..." &&  $(ECHO) BTUnion >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BTUnion.o: OCS/BTUnion.c 
	@$(ECHO) "Generating $(ARCH) object code for BTUnion ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BTUnion.c -o OCS/BTUnion.o
OCS/BTUnionConv.sign.inter: BTUnionConv.sign OCS/Seq.sign.inter OCS/BTUnion.sign.inter
	@$(ECHO) "Checking Signature of BTUnionConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. BTUnionConv  -h. -r  Seq BTUnion $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BTUnionConv for documentation ..." &&  $(ECHO) BTUnionConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BTUnionConv.impl.inter : BTUnionConv.impl OCS/BTUnionConv.sign.inter ../../BasicTypes/OCS/RealConv.sign.inter ../../BasicTypes/OCS/Real.sign.inter ../../BasicTypes/OCS/NatConv.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../BasicTypes/OCS/IntConv.sign.inter ../../BasicTypes/OCS/Int.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../BasicTypes/OCS/CharConv.sign.inter ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/BoolConv.sign.inter OCS/SeqConv.sign.inter OCS/Seq.sign.inter OCS/StringConv.sign.inter OCS/String.sign.inter OCS/BTUnion.sign.inter
	@$(ECHO) "Checking Implementation of BTUnionConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. BTUnionConv  -h../../BasicTypes -r  RealConv Real NatConv Nat IntConv Int Denotation CharConv Char BoolConv -h. -r  SeqConv Seq StringConv String BTUnion $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking BTUnionConv for documentation ..." &&  $(ECHO) BTUnionConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BTUnionConv.c OCS/BTUnionConv.opt: OCS/BTUnionConv.impl.inter
	@if [ "$@" = "OCS/BTUnionConv.c" ] ; then $(ECHO) "Generating C Code for BTUnionConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. BTUnionConv  -h../../BasicTypes -r  RealConv Real NatConv Nat IntConv Int Denotation CharConv Char BoolConv -h. -r  SeqConv Seq StringConv String BTUnion $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking BTUnionConv for documentation ..." &&  $(ECHO) BTUnionConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/BTUnionConv.o: OCS/BTUnionConv.c 
	@$(ECHO) "Generating $(ARCH) object code for BTUnionConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/BTUnionConv.c -o OCS/BTUnionConv.o
OCS/StringFormat.sign.inter: StringFormat.sign ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/Real.sign.inter ../../BasicTypes/OCS/Int.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/BTUnion.sign.inter OCS/Seq.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Signature of StringFormat ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. StringFormat  -h../../BasicTypes -r  Char Real Int Nat -h. -r  BTUnion Seq String $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringFormat for documentation ..." &&  $(ECHO) StringFormat >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringFormat.impl.inter : StringFormat.impl OCS/StringFormat.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../BasicTypes/OCS/RealConv.sign.inter ../../BasicTypes/OCS/Real.sign.inter ../../BasicTypes/OCS/IntConv.sign.inter ../../BasicTypes/OCS/Int.sign.inter ../../BasicTypes/OCS/NatConv.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../BasicTypes/OCS/PrintableChar.sign.inter ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/CharConv.sign.inter OCS/BTUnion.sign.inter OCS/Seq.sign.inter OCS/StringFilter.sign.inter OCS/StringIndex.sign.inter OCS/StringConv.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Implementation of StringFormat ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. StringFormat  -h../../BasicTypes -r  Denotation RealConv Real IntConv Int NatConv Nat PrintableChar Char CharConv -h. -r  BTUnion Seq StringFilter StringIndex StringConv String $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking StringFormat for documentation ..." &&  $(ECHO) StringFormat >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringFormat.c OCS/StringFormat.opt: OCS/StringFormat.impl.inter
	@if [ "$@" = "OCS/StringFormat.c" ] ; then $(ECHO) "Generating C Code for StringFormat ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. StringFormat  -h../../BasicTypes -r  Denotation RealConv Real IntConv Int NatConv Nat PrintableChar Char CharConv -h. -r  BTUnion Seq StringFilter StringIndex StringConv String $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringFormat for documentation ..." &&  $(ECHO) StringFormat >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringFormat.o: OCS/StringFormat.c 
	@$(ECHO) "Generating $(ARCH) object code for StringFormat ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/StringFormat.c -o OCS/StringFormat.o
OCS/StringScan.sign.inter: StringScan.sign ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/Real.sign.inter ../../BasicTypes/OCS/Int.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Seq.sign.inter OCS/BTUnion.sign.inter OCS/String.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of StringScan ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. StringScan  -h../../BasicTypes -r  Char Real Int Nat -h. -r  Seq BTUnion String -h../../AggregateTypes/UnionLike -r  Option Option Option Option Option Option Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringScan for documentation ..." &&  $(ECHO) StringScan >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringScan.impl.inter : StringScan.impl OCS/StringScan.sign.inter ../../BasicTypes/OCS/CharConv.sign.inter ../../BasicTypes/OCS/NatConv.sign.inter ../../BasicTypes/OCS/IntConv.sign.inter ../../BasicTypes/OCS/RealConv.sign.inter ../../BasicTypes/OCS/PrintableChar.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../BasicTypes/OCS/Char.sign.inter ../../BasicTypes/OCS/Real.sign.inter ../../BasicTypes/OCS/Int.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../Functions/General/OCS/Compose.sign.inter OCS/BTUnion.sign.inter OCS/Seq.sign.inter OCS/StringFilter.sign.inter OCS/StringConv.sign.inter OCS/String.sign.inter ../../AggregateTypes/UnionLike/OCS/OptionMap.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of StringScan ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. StringScan  -h../../BasicTypes -r  CharConv NatConv IntConv RealConv PrintableChar Denotation Char Real Int Nat -h../../Functions/General -r  Compose -h. -r  BTUnion Seq StringFilter StringConv String -h../../AggregateTypes/UnionLike -r  OptionMap Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking StringScan for documentation ..." &&  $(ECHO) StringScan >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringScan.c OCS/StringScan.opt: OCS/StringScan.impl.inter
	@if [ "$@" = "OCS/StringScan.c" ] ; then $(ECHO) "Generating C Code for StringScan ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. StringScan  -h../../BasicTypes -r  CharConv NatConv IntConv RealConv PrintableChar Denotation Char Real Int Nat -h../../Functions/General -r  Compose -h. -r  BTUnion Seq StringFilter StringConv String -h../../AggregateTypes/UnionLike -r  OptionMap Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking StringScan for documentation ..." &&  $(ECHO) StringScan >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/StringScan.o: OCS/StringScan.c 
	@$(ECHO) "Generating $(ARCH) object code for StringScan ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/StringScan.c -o OCS/StringScan.o
OCS/ISeq.sign.inter: ISeq.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of ISeq ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ISeq  -h../../BasicTypes -r  Nat -h. -r  Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeq for documentation ..." &&  $(ECHO) ISeq >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeq.impl.inter : ISeq.impl OCS/ISeq.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of ISeq ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ISeq  -h../../BasicTypes -r  Nat -h. -r  Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ISeq for documentation ..." &&  $(ECHO) ISeq >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeq.c OCS/ISeq.opt: OCS/ISeq.impl.inter
	@if [ "$@" = "OCS/ISeq.c" ] ; then $(ECHO) "Generating C Code for ISeq ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. ISeq  -h../../BasicTypes -r  Nat -h. -r  Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeq for documentation ..." &&  $(ECHO) ISeq >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeq.o: OCS/ISeq.c 
	@$(ECHO) "Generating $(ARCH) object code for ISeq ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ISeq.c -o OCS/ISeq.o
OCS/ISeqConv.sign.inter: ISeqConv.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/String.sign.inter OCS/ISeq.sign.inter
	@$(ECHO) "Checking Signature of ISeqConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ISeqConv  -h../../BasicTypes -r  Nat -h. -r  String ISeq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqConv for documentation ..." &&  $(ECHO) ISeqConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqConv.impl.inter : ISeqConv.impl OCS/ISeqConv.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Seq.sign.inter OCS/SeqConv.sign.inter OCS/ISeq.sign.inter OCS/String.sign.inter
	@$(ECHO) "Checking Implementation of ISeqConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ISeqConv  -h../../BasicTypes -r  Nat -h. -r  Seq SeqConv ISeq String $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ISeqConv for documentation ..." &&  $(ECHO) ISeqConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqConv.c OCS/ISeqConv.opt: OCS/ISeqConv.impl.inter
	@if [ "$@" = "OCS/ISeqConv.c" ] ; then $(ECHO) "Generating C Code for ISeqConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. ISeqConv  -h../../BasicTypes -r  Nat -h. -r  Seq SeqConv ISeq String $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqConv for documentation ..." &&  $(ECHO) ISeqConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqConv.o: OCS/ISeqConv.c 
	@$(ECHO) "Generating $(ARCH) object code for ISeqConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ISeqConv.c -o OCS/ISeqConv.o
OCS/ISeqFilter.sign.inter: ISeqFilter.sign OCS/Seq.sign.inter OCS/ISeq.sign.inter
	@$(ECHO) "Checking Signature of ISeqFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ISeqFilter  -h. -r  Seq ISeq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqFilter for documentation ..." &&  $(ECHO) ISeqFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqFilter.impl.inter : ISeqFilter.impl OCS/ISeqFilter.sign.inter ../../Functions/General/OCS/Compose.sign.inter OCS/Seq.sign.inter OCS/ISeq.sign.inter
	@$(ECHO) "Checking Implementation of ISeqFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ISeqFilter  -h../../Functions/General -r  Compose -h. -r  Seq ISeq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ISeqFilter for documentation ..." &&  $(ECHO) ISeqFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqFilter.c OCS/ISeqFilter.opt: OCS/ISeqFilter.impl.inter
	@if [ "$@" = "OCS/ISeqFilter.c" ] ; then $(ECHO) "Generating C Code for ISeqFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. ISeqFilter  -h../../Functions/General -r  Compose -h. -r  Seq ISeq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqFilter for documentation ..." &&  $(ECHO) ISeqFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqFilter.o: OCS/ISeqFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for ISeqFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ISeqFilter.c -o OCS/ISeqFilter.o
OCS/ISeqIndex.sign.inter: ISeqIndex.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/ISeq.sign.inter OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of ISeqIndex ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ISeqIndex  -h../../BasicTypes -r  Nat -h. -r  ISeq Seq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqIndex for documentation ..." &&  $(ECHO) ISeqIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqIndex.impl.inter : ISeqIndex.impl OCS/ISeqIndex.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Seq.sign.inter OCS/ISeq.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of ISeqIndex ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ISeqIndex  -h../../BasicTypes -r  Nat -h. -r  Seq ISeq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ISeqIndex for documentation ..." &&  $(ECHO) ISeqIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqIndex.c OCS/ISeqIndex.opt: OCS/ISeqIndex.impl.inter
	@if [ "$@" = "OCS/ISeqIndex.c" ] ; then $(ECHO) "Generating C Code for ISeqIndex ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. ISeqIndex  -h../../BasicTypes -r  Nat -h. -r  Seq ISeq -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqIndex for documentation ..." &&  $(ECHO) ISeqIndex >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqIndex.o: OCS/ISeqIndex.c 
	@$(ECHO) "Generating $(ARCH) object code for ISeqIndex ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ISeqIndex.c -o OCS/ISeqIndex.o
OCS/ISeqMap.sign.inter: ISeqMap.sign OCS/ISeq.sign.inter OCS/ISeq.sign.inter
	@$(ECHO) "Checking Signature of ISeqMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ISeqMap  -h. -r  ISeq ISeq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqMap for documentation ..." &&  $(ECHO) ISeqMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqMap.impl.inter : ISeqMap.impl OCS/ISeqMap.sign.inter OCS/ISeq.sign.inter
	@$(ECHO) "Checking Implementation of ISeqMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ISeqMap  -h. -r  ISeq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ISeqMap for documentation ..." &&  $(ECHO) ISeqMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqMap.c OCS/ISeqMap.opt: OCS/ISeqMap.impl.inter
	@if [ "$@" = "OCS/ISeqMap.c" ] ; then $(ECHO) "Generating C Code for ISeqMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. ISeqMap  -h. -r  ISeq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqMap for documentation ..." &&  $(ECHO) ISeqMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqMap.o: OCS/ISeqMap.c 
	@$(ECHO) "Generating $(ARCH) object code for ISeqMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ISeqMap.c -o OCS/ISeqMap.o
OCS/ISeqMapEnv.sign.inter: ISeqMapEnv.sign OCS/ISeq.sign.inter OCS/ISeq.sign.inter
	@$(ECHO) "Checking Signature of ISeqMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ISeqMapEnv  -h. -r  ISeq ISeq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqMapEnv for documentation ..." &&  $(ECHO) ISeqMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqMapEnv.impl.inter : ISeqMapEnv.impl OCS/ISeqMapEnv.sign.inter OCS/ISeq.sign.inter
	@$(ECHO) "Checking Implementation of ISeqMapEnv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ISeqMapEnv  -h. -r  ISeq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ISeqMapEnv for documentation ..." &&  $(ECHO) ISeqMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqMapEnv.c OCS/ISeqMapEnv.opt: OCS/ISeqMapEnv.impl.inter
	@if [ "$@" = "OCS/ISeqMapEnv.c" ] ; then $(ECHO) "Generating C Code for ISeqMapEnv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. ISeqMapEnv  -h. -r  ISeq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqMapEnv for documentation ..." &&  $(ECHO) ISeqMapEnv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqMapEnv.o: OCS/ISeqMapEnv.c 
	@$(ECHO) "Generating $(ARCH) object code for ISeqMapEnv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ISeqMapEnv.c -o OCS/ISeqMapEnv.o
OCS/ISeqSort.sign.inter: ISeqSort.sign OCS/ISeq.sign.inter
	@$(ECHO) "Checking Signature of ISeqSort ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ISeqSort  -h. -r  ISeq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqSort for documentation ..." &&  $(ECHO) ISeqSort >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqSort.impl.inter : ISeqSort.impl OCS/ISeqSort.sign.inter OCS/ISeq.sign.inter
	@$(ECHO) "Checking Implementation of ISeqSort ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ISeqSort  -h. -r  ISeq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ISeqSort for documentation ..." &&  $(ECHO) ISeqSort >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqSort.c OCS/ISeqSort.opt: OCS/ISeqSort.impl.inter
	@if [ "$@" = "OCS/ISeqSort.c" ] ; then $(ECHO) "Generating C Code for ISeqSort ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. ISeqSort  -h. -r  ISeq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqSort for documentation ..." &&  $(ECHO) ISeqSort >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqSort.o: OCS/ISeqSort.c 
	@$(ECHO) "Generating $(ARCH) object code for ISeqSort ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ISeqSort.c -o OCS/ISeqSort.o
OCS/ISeqZip.sign.inter: ISeqZip.sign OCS/ISeq.sign.inter OCS/ISeq.sign.inter OCS/ISeq.sign.inter
	@$(ECHO) "Checking Signature of ISeqZip ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ISeqZip  -h. -r  ISeq ISeq ISeq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqZip for documentation ..." &&  $(ECHO) ISeqZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqZip.impl.inter : ISeqZip.impl OCS/ISeqZip.sign.inter ../../Functions/General/OCS/Compose.sign.inter ../../AggregateTypes/ProductLike/OCS/AnonPair.sign.inter OCS/ISeqMap.sign.inter OCS/ISeq.sign.inter
	@$(ECHO) "Checking Implementation of ISeqZip ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ISeqZip  -h../../Functions/General -r  Compose -h../../AggregateTypes/ProductLike -r  AnonPair -h. -r  ISeqMap ISeq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ISeqZip for documentation ..." &&  $(ECHO) ISeqZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqZip.c OCS/ISeqZip.opt: OCS/ISeqZip.impl.inter
	@if [ "$@" = "OCS/ISeqZip.c" ] ; then $(ECHO) "Generating C Code for ISeqZip ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. ISeqZip  -h../../Functions/General -r  Compose -h../../AggregateTypes/ProductLike -r  AnonPair -h. -r  ISeqMap ISeq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqZip for documentation ..." &&  $(ECHO) ISeqZip >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqZip.o: OCS/ISeqZip.c 
	@$(ECHO) "Generating $(ARCH) object code for ISeqZip ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ISeqZip.c -o OCS/ISeqZip.o
OCS/ISeqUnreduce.sign.inter: ISeqUnreduce.sign OCS/ISeq.sign.inter
	@$(ECHO) "Checking Signature of ISeqUnreduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ISeqUnreduce  -h. -r  ISeq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqUnreduce for documentation ..." &&  $(ECHO) ISeqUnreduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqUnreduce.impl.inter : ISeqUnreduce.impl OCS/ISeqUnreduce.sign.inter OCS/ISeq.sign.inter
	@$(ECHO) "Checking Implementation of ISeqUnreduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ISeqUnreduce  -h. -r  ISeq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ISeqUnreduce for documentation ..." &&  $(ECHO) ISeqUnreduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqUnreduce.c OCS/ISeqUnreduce.opt: OCS/ISeqUnreduce.impl.inter
	@if [ "$@" = "OCS/ISeqUnreduce.c" ] ; then $(ECHO) "Generating C Code for ISeqUnreduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. ISeqUnreduce  -h. -r  ISeq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ISeqUnreduce for documentation ..." &&  $(ECHO) ISeqUnreduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ISeqUnreduce.o: OCS/ISeqUnreduce.c 
	@$(ECHO) "Generating $(ARCH) object code for ISeqUnreduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ISeqUnreduce.c -o OCS/ISeqUnreduce.o
OCS/Seqs.sign.inter: Seqs.sign ../../Functions/General/OCS/Identity.sign.inter ../../Functions/General/OCS/Compose.sign.inter OCS/SeqZip.sign.inter OCS/SeqSort.sign.inter OCS/SeqReduce.sign.inter OCS/SeqOfSeq.sign.inter OCS/SeqMapEnv.sign.inter OCS/SeqMap.sign.inter OCS/SeqIndex.sign.inter OCS/SeqFold.sign.inter OCS/SeqFilter.sign.inter OCS/SeqConv.sign.inter OCS/Seq.sign.inter ../../AggregateTypes/UnionLike/OCS/OptionMap.sign.inter ../../AggregateTypes/UnionLike/OCS/OptionConv.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of Seqs ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Seqs  -h../../Functions/General -r  Identity Compose -h. -r  SeqZip SeqSort SeqReduce SeqOfSeq SeqMapEnv SeqMap SeqIndex SeqFold SeqFilter SeqConv Seq -h../../AggregateTypes/UnionLike -r  OptionMap OptionConv Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Seqs for documentation ..." &&  $(ECHO) Seqs >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Seqs.impl.inter : Seqs.impl OCS/Seqs.sign.inter
	@$(ECHO) "Checking Implementation of Seqs ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Seqs  $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Seqs for documentation ..." &&  $(ECHO) Seqs >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Seqs.c OCS/Seqs.opt: OCS/Seqs.impl.inter
	@if [ "$@" = "OCS/Seqs.c" ] ; then $(ECHO) "Generating C Code for Seqs ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. Seqs  $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Seqs for documentation ..." &&  $(ECHO) Seqs >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Seqs.o: OCS/Seqs.c 
	@$(ECHO) "Generating $(ARCH) object code for Seqs ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Seqs.c -o OCS/Seqs.o
OCS/Strings.sign.inter: Strings.sign OCS/StringScan.sign.inter OCS/StringReduce.sign.inter OCS/StringMapSeq.sign.inter OCS/StringMap.sign.inter OCS/StringIndex.sign.inter OCS/StringFormat.sign.inter OCS/StringFold.sign.inter OCS/StringFilter.sign.inter OCS/StringConv.sign.inter OCS/String.sign.inter OCS/BTUnionConv.sign.inter OCS/BTUnion.sign.inter
	@$(ECHO) "Checking Signature of Strings ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Strings  -h. -r  StringScan StringReduce StringMapSeq StringMap StringIndex StringFormat StringFold StringFilter StringConv String BTUnionConv BTUnion $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Strings for documentation ..." &&  $(ECHO) Strings >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Strings.impl.inter : Strings.impl OCS/Strings.sign.inter
	@$(ECHO) "Checking Implementation of Strings ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Strings  $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Strings for documentation ..." &&  $(ECHO) Strings >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Strings.c OCS/Strings.opt: OCS/Strings.impl.inter
	@if [ "$@" = "OCS/Strings.c" ] ; then $(ECHO) "Generating C Code for Strings ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. Strings  $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Strings for documentation ..." &&  $(ECHO) Strings >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Strings.o: OCS/Strings.c 
	@$(ECHO) "Generating $(ARCH) object code for Strings ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Strings.c -o OCS/Strings.o
