# system MapLike
SYSTEM = MapLike
SYS_LDFLAGS = $(VAR_LDFLAGS) 
SYS_LDLIBS =  -lSetLike -lTreeLike -lSeqLike -lUnionLike -lProductLike -lGeneral -lOrderings -lSpecial -lBasicTypes -lStrange -lCompiler $(VAR_LDLIBS)
SYS_LDLIBPATH =  -L../../AggregateTypes/SetLike/OCS -L../../AggregateTypes/TreeLike/OCS -L../../AggregateTypes/SeqLike/OCS -L../../AggregateTypes/UnionLike/OCS -L../../AggregateTypes/ProductLike/OCS -L../../Functions/General/OCS -L../../Functions/Orderings/OCS -L../../Functions/Special/OCS -L../../BasicTypes/OCS -L../../Internal/Strange/OCS -L../../Internal/Compiler/OCS $(VAR_LDLIBPATH)
SYS_LDLIBDEPS =  ../../AggregateTypes/SetLike/OCS/libSetLike.a ../../AggregateTypes/TreeLike/OCS/libTreeLike.a ../../AggregateTypes/SeqLike/OCS/libSeqLike.a ../../AggregateTypes/UnionLike/OCS/libUnionLike.a ../../AggregateTypes/ProductLike/OCS/libProductLike.a ../../Functions/General/OCS/libGeneral.a ../../Functions/Orderings/OCS/libOrderings.a ../../Functions/Special/OCS/libSpecial.a ../../BasicTypes/OCS/libBasicTypes.a ../../Internal/Strange/OCS/libStrange.a ../../Internal/Compiler/OCS/libCompiler.a $(VAR_LDLIBDEPS)
SYS_OC1FLAGS = $(VAR_OC1FLAGS)  -v1
SYS_OC2FLAGS = $(VAR_OC2FLAGS)  -v1
SYS_CCFLAGS = $(VAR_CCFLAGS)  $(VERB_CC)
GENSTRUCTS =  Map MapNotForUserPurpose MapConv MapReduce MapCompose MapMap MapFilter MapInvert MapByOS MapByOSConv MapByOSReduce MapByOSCompose MapByOSMap MapByOSFilter MapByOSInvert MapByBST MapByBSTConv MapByBSTReduce MapByBSTCompose MapByBSTMap MapByBSTFilter MapByBSTInvert Array ArrayReduce ArrayConv ArrayFilter ArrayMap NatMap NatMapNotForUserPurpose NatMapConv NatMapReduce NatMapMap NatMapFilter DArray DArrayConv DArrayFilter ArrayFold DArrayFold DArrayMap DArrayReduce Rel RelNotForUserPurpose RelMap RelReduce RelFilter RelConv RelCompose RelInvert RelHomog Maps NatMaps Arrays
SIGNS =  Map.sign MapNotForUserPurpose.sign MapConv.sign MapReduce.sign MapCompose.sign MapMap.sign MapFilter.sign MapInvert.sign MapByOS.sign MapByOSConv.sign MapByOSReduce.sign MapByOSCompose.sign MapByOSMap.sign MapByOSFilter.sign MapByOSInvert.sign MapByBST.sign MapByBSTConv.sign MapByBSTReduce.sign MapByBSTCompose.sign MapByBSTMap.sign MapByBSTFilter.sign MapByBSTInvert.sign Array.sign ArrayReduce.sign ArrayConv.sign ArrayFilter.sign ArrayMap.sign NatMap.sign NatMapNotForUserPurpose.sign NatMapConv.sign NatMapReduce.sign NatMapMap.sign NatMapFilter.sign DArray.sign DArrayConv.sign DArrayFilter.sign ArrayFold.sign DArrayFold.sign DArrayMap.sign DArrayReduce.sign Rel.sign RelNotForUserPurpose.sign RelMap.sign RelReduce.sign RelFilter.sign RelConv.sign RelCompose.sign RelInvert.sign RelHomog.sign Maps.sign NatMaps.sign Arrays.sign
IMPLS =  Map.impl MapNotForUserPurpose.impl MapConv.impl MapReduce.impl MapCompose.impl MapMap.impl MapFilter.impl MapInvert.impl MapByOS.impl MapByOSConv.impl MapByOSReduce.impl MapByOSCompose.impl MapByOSMap.impl MapByOSFilter.impl MapByOSInvert.impl MapByBST.impl MapByBSTConv.impl MapByBSTReduce.impl MapByBSTCompose.impl MapByBSTMap.impl MapByBSTFilter.impl MapByBSTInvert.impl Array.impl ArrayReduce.impl ArrayConv.impl ArrayFilter.impl ArrayMap.impl NatMap.impl NatMapNotForUserPurpose.impl NatMapConv.impl NatMapReduce.impl NatMapMap.impl NatMapFilter.impl DArray.impl DArrayConv.impl DArrayFilter.impl ArrayFold.impl DArrayFold.impl DArrayMap.impl DArrayReduce.impl Rel.impl RelNotForUserPurpose.impl RelMap.impl RelReduce.impl RelFilter.impl RelConv.impl RelCompose.impl RelInvert.impl RelHomog.impl Maps.impl NatMaps.impl Arrays.impl
EXPS =  OCS/Map.sign.inter OCS/MapNotForUserPurpose.sign.inter OCS/MapConv.sign.inter OCS/MapReduce.sign.inter OCS/MapCompose.sign.inter OCS/MapMap.sign.inter OCS/MapFilter.sign.inter OCS/MapInvert.sign.inter OCS/MapByOS.sign.inter OCS/MapByOSConv.sign.inter OCS/MapByOSReduce.sign.inter OCS/MapByOSCompose.sign.inter OCS/MapByOSMap.sign.inter OCS/MapByOSFilter.sign.inter OCS/MapByOSInvert.sign.inter OCS/MapByBST.sign.inter OCS/MapByBSTConv.sign.inter OCS/MapByBSTReduce.sign.inter OCS/MapByBSTCompose.sign.inter OCS/MapByBSTMap.sign.inter OCS/MapByBSTFilter.sign.inter OCS/MapByBSTInvert.sign.inter OCS/Array.sign.inter OCS/ArrayReduce.sign.inter OCS/ArrayConv.sign.inter OCS/ArrayFilter.sign.inter OCS/ArrayMap.sign.inter OCS/NatMap.sign.inter OCS/NatMapNotForUserPurpose.sign.inter OCS/NatMapConv.sign.inter OCS/NatMapReduce.sign.inter OCS/NatMapMap.sign.inter OCS/NatMapFilter.sign.inter OCS/DArray.sign.inter OCS/DArrayConv.sign.inter OCS/DArrayFilter.sign.inter OCS/ArrayFold.sign.inter OCS/DArrayFold.sign.inter OCS/DArrayMap.sign.inter OCS/DArrayReduce.sign.inter OCS/Rel.sign.inter OCS/RelNotForUserPurpose.sign.inter OCS/RelMap.sign.inter OCS/RelReduce.sign.inter OCS/RelFilter.sign.inter OCS/RelConv.sign.inter OCS/RelCompose.sign.inter OCS/RelInvert.sign.inter OCS/RelHomog.sign.inter OCS/Maps.sign.inter OCS/NatMaps.sign.inter OCS/Arrays.sign.inter
ANAS =  OCS/Map.impl.inter OCS/MapNotForUserPurpose.impl.inter OCS/MapConv.impl.inter OCS/MapReduce.impl.inter OCS/MapCompose.impl.inter OCS/MapMap.impl.inter OCS/MapFilter.impl.inter OCS/MapInvert.impl.inter OCS/MapByOS.impl.inter OCS/MapByOSConv.impl.inter OCS/MapByOSReduce.impl.inter OCS/MapByOSCompose.impl.inter OCS/MapByOSMap.impl.inter OCS/MapByOSFilter.impl.inter OCS/MapByOSInvert.impl.inter OCS/MapByBST.impl.inter OCS/MapByBSTConv.impl.inter OCS/MapByBSTReduce.impl.inter OCS/MapByBSTCompose.impl.inter OCS/MapByBSTMap.impl.inter OCS/MapByBSTFilter.impl.inter OCS/MapByBSTInvert.impl.inter OCS/Array.impl.inter OCS/ArrayReduce.impl.inter OCS/ArrayConv.impl.inter OCS/ArrayFilter.impl.inter OCS/ArrayMap.impl.inter OCS/NatMap.impl.inter OCS/NatMapNotForUserPurpose.impl.inter OCS/NatMapConv.impl.inter OCS/NatMapReduce.impl.inter OCS/NatMapMap.impl.inter OCS/NatMapFilter.impl.inter OCS/DArray.impl.inter OCS/DArrayConv.impl.inter OCS/DArrayFilter.impl.inter OCS/ArrayFold.impl.inter OCS/DArrayFold.impl.inter OCS/DArrayMap.impl.inter OCS/DArrayReduce.impl.inter OCS/Rel.impl.inter OCS/RelNotForUserPurpose.impl.inter OCS/RelMap.impl.inter OCS/RelReduce.impl.inter OCS/RelFilter.impl.inter OCS/RelConv.impl.inter OCS/RelCompose.impl.inter OCS/RelInvert.impl.inter OCS/RelHomog.impl.inter OCS/Maps.impl.inter OCS/NatMaps.impl.inter OCS/Arrays.impl.inter
OPTS =  OCS/Map.opt OCS/MapNotForUserPurpose.opt OCS/MapConv.opt OCS/MapReduce.opt OCS/MapCompose.opt OCS/MapMap.opt OCS/MapFilter.opt OCS/MapInvert.opt OCS/MapByOS.opt OCS/MapByOSConv.opt OCS/MapByOSReduce.opt OCS/MapByOSCompose.opt OCS/MapByOSMap.opt OCS/MapByOSFilter.opt OCS/MapByOSInvert.opt OCS/MapByBST.opt OCS/MapByBSTConv.opt OCS/MapByBSTReduce.opt OCS/MapByBSTCompose.opt OCS/MapByBSTMap.opt OCS/MapByBSTFilter.opt OCS/MapByBSTInvert.opt OCS/Array.opt OCS/ArrayReduce.opt OCS/ArrayConv.opt OCS/ArrayFilter.opt OCS/ArrayMap.opt OCS/NatMap.opt OCS/NatMapNotForUserPurpose.opt OCS/NatMapConv.opt OCS/NatMapReduce.opt OCS/NatMapMap.opt OCS/NatMapFilter.opt OCS/DArray.opt OCS/DArrayConv.opt OCS/DArrayFilter.opt OCS/ArrayFold.opt OCS/DArrayFold.opt OCS/DArrayMap.opt OCS/DArrayReduce.opt OCS/Rel.opt OCS/RelNotForUserPurpose.opt OCS/RelMap.opt OCS/RelReduce.opt OCS/RelFilter.opt OCS/RelConv.opt OCS/RelCompose.opt OCS/RelInvert.opt OCS/RelHomog.opt OCS/Maps.opt OCS/NatMaps.opt OCS/Arrays.opt
CS =  OCS/Map.c OCS/MapNotForUserPurpose.c OCS/MapConv.c OCS/MapReduce.c OCS/MapCompose.c OCS/MapMap.c OCS/MapFilter.c OCS/MapInvert.c OCS/MapByOS.c OCS/MapByOSConv.c OCS/MapByOSReduce.c OCS/MapByOSCompose.c OCS/MapByOSMap.c OCS/MapByOSFilter.c OCS/MapByOSInvert.c OCS/MapByBST.c OCS/MapByBSTConv.c OCS/MapByBSTReduce.c OCS/MapByBSTCompose.c OCS/MapByBSTMap.c OCS/MapByBSTFilter.c OCS/MapByBSTInvert.c OCS/Array.c OCS/ArrayReduce.c OCS/ArrayConv.c OCS/ArrayFilter.c OCS/ArrayMap.c OCS/NatMap.c OCS/NatMapNotForUserPurpose.c OCS/NatMapConv.c OCS/NatMapReduce.c OCS/NatMapMap.c OCS/NatMapFilter.c OCS/DArray.c OCS/DArrayConv.c OCS/DArrayFilter.c OCS/ArrayFold.c OCS/DArrayFold.c OCS/DArrayMap.c OCS/DArrayReduce.c OCS/Rel.c OCS/RelNotForUserPurpose.c OCS/RelMap.c OCS/RelReduce.c OCS/RelFilter.c OCS/RelConv.c OCS/RelCompose.c OCS/RelInvert.c OCS/RelHomog.c OCS/Maps.c OCS/NatMaps.c OCS/Arrays.c
OS =  OCS/Map.o OCS/MapNotForUserPurpose.o OCS/MapConv.o OCS/MapReduce.o OCS/MapCompose.o OCS/MapMap.o OCS/MapFilter.o OCS/MapInvert.o OCS/MapByOS.o OCS/MapByOSConv.o OCS/MapByOSReduce.o OCS/MapByOSCompose.o OCS/MapByOSMap.o OCS/MapByOSFilter.o OCS/MapByOSInvert.o OCS/MapByBST.o OCS/MapByBSTConv.o OCS/MapByBSTReduce.o OCS/MapByBSTCompose.o OCS/MapByBSTMap.o OCS/MapByBSTFilter.o OCS/MapByBSTInvert.o OCS/Array.o OCS/ArrayReduce.o OCS/ArrayConv.o OCS/ArrayFilter.o OCS/ArrayMap.o OCS/NatMap.o OCS/NatMapNotForUserPurpose.o OCS/NatMapConv.o OCS/NatMapReduce.o OCS/NatMapMap.o OCS/NatMapFilter.o OCS/DArray.o OCS/DArrayConv.o OCS/DArrayFilter.o OCS/ArrayFold.o OCS/DArrayFold.o OCS/DArrayMap.o OCS/DArrayReduce.o OCS/Rel.o OCS/RelNotForUserPurpose.o OCS/RelMap.o OCS/RelReduce.o OCS/RelFilter.o OCS/RelConv.o OCS/RelCompose.o OCS/RelInvert.o OCS/RelHomog.o OCS/Maps.o OCS/NatMaps.o OCS/Arrays.o
ESYSTEMS =  ../../Internal/Compiler ../../Internal/Strange ../../BasicTypes ../../Functions/Special ../../Functions/Orderings ../../Functions/General ../../AggregateTypes/ProductLike ../../AggregateTypes/UnionLike ../../AggregateTypes/SeqLike ../../AggregateTypes/TreeLike ../../AggregateTypes/SetLike
FSYSTEMS = 
SIGNDEPS =  OCS/Map.sign.deps OCS/MapNotForUserPurpose.sign.deps OCS/MapConv.sign.deps OCS/MapReduce.sign.deps OCS/MapCompose.sign.deps OCS/MapMap.sign.deps OCS/MapFilter.sign.deps OCS/MapInvert.sign.deps OCS/MapByOS.sign.deps OCS/MapByOSConv.sign.deps OCS/MapByOSReduce.sign.deps OCS/MapByOSCompose.sign.deps OCS/MapByOSMap.sign.deps OCS/MapByOSFilter.sign.deps OCS/MapByOSInvert.sign.deps OCS/MapByBST.sign.deps OCS/MapByBSTConv.sign.deps OCS/MapByBSTReduce.sign.deps OCS/MapByBSTCompose.sign.deps OCS/MapByBSTMap.sign.deps OCS/MapByBSTFilter.sign.deps OCS/MapByBSTInvert.sign.deps OCS/Array.sign.deps OCS/ArrayReduce.sign.deps OCS/ArrayConv.sign.deps OCS/ArrayFilter.sign.deps OCS/ArrayMap.sign.deps OCS/NatMap.sign.deps OCS/NatMapNotForUserPurpose.sign.deps OCS/NatMapConv.sign.deps OCS/NatMapReduce.sign.deps OCS/NatMapMap.sign.deps OCS/NatMapFilter.sign.deps OCS/DArray.sign.deps OCS/DArrayConv.sign.deps OCS/DArrayFilter.sign.deps OCS/ArrayFold.sign.deps OCS/DArrayFold.sign.deps OCS/DArrayMap.sign.deps OCS/DArrayReduce.sign.deps OCS/Rel.sign.deps OCS/RelNotForUserPurpose.sign.deps OCS/RelMap.sign.deps OCS/RelReduce.sign.deps OCS/RelFilter.sign.deps OCS/RelConv.sign.deps OCS/RelCompose.sign.deps OCS/RelInvert.sign.deps OCS/RelHomog.sign.deps OCS/Maps.sign.deps OCS/NatMaps.sign.deps OCS/Arrays.sign.deps
IMPLDEPS =  OCS/Map.impl.deps OCS/MapNotForUserPurpose.impl.deps OCS/MapConv.impl.deps OCS/MapReduce.impl.deps OCS/MapCompose.impl.deps OCS/MapMap.impl.deps OCS/MapFilter.impl.deps OCS/MapInvert.impl.deps OCS/MapByOS.impl.deps OCS/MapByOSConv.impl.deps OCS/MapByOSReduce.impl.deps OCS/MapByOSCompose.impl.deps OCS/MapByOSMap.impl.deps OCS/MapByOSFilter.impl.deps OCS/MapByOSInvert.impl.deps OCS/MapByBST.impl.deps OCS/MapByBSTConv.impl.deps OCS/MapByBSTReduce.impl.deps OCS/MapByBSTCompose.impl.deps OCS/MapByBSTMap.impl.deps OCS/MapByBSTFilter.impl.deps OCS/MapByBSTInvert.impl.deps OCS/Array.impl.deps OCS/ArrayReduce.impl.deps OCS/ArrayConv.impl.deps OCS/ArrayFilter.impl.deps OCS/ArrayMap.impl.deps OCS/NatMap.impl.deps OCS/NatMapNotForUserPurpose.impl.deps OCS/NatMapConv.impl.deps OCS/NatMapReduce.impl.deps OCS/NatMapMap.impl.deps OCS/NatMapFilter.impl.deps OCS/DArray.impl.deps OCS/DArrayConv.impl.deps OCS/DArrayFilter.impl.deps OCS/ArrayFold.impl.deps OCS/DArrayFold.impl.deps OCS/DArrayMap.impl.deps OCS/DArrayReduce.impl.deps OCS/Rel.impl.deps OCS/RelNotForUserPurpose.impl.deps OCS/RelMap.impl.deps OCS/RelReduce.impl.deps OCS/RelFilter.impl.deps OCS/RelConv.impl.deps OCS/RelCompose.impl.deps OCS/RelInvert.impl.deps OCS/RelHomog.impl.deps OCS/Maps.impl.deps OCS/NatMaps.impl.deps OCS/Arrays.impl.deps
OCS/Map.sign.inter: Map.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of Map ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Map  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  Seq Seq -h../../AggregateTypes/SetLike -r  Set -h../../AggregateTypes/UnionLike -r  Option Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Map for documentation ..." &&  $(ECHO) Map >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Map.impl.inter : Map.impl OCS/Map.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqMap.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqReduce.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SetLike/OCS/SetConv.sign.inter ../../AggregateTypes/SetLike/OCS/SetReduce.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBSTReduce.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBSTMap.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter ../../Internal/Strange/OCS/CAST.sign.inter ../../AggregateTypes/TreeLike/OCS/TreeConv.sign.inter ../../AggregateTypes/TreeLike/OCS/Tree.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTreeConv.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTreeMap.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTree.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of Map ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Map  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair Pair -h../../AggregateTypes/SeqLike -r  SeqMap SeqReduce Seq -h../../AggregateTypes/SetLike -r  SetConv SetReduce Set SetByBSTReduce SetByBSTMap SetByBST -h../../Internal/Strange -r  CAST -h../../AggregateTypes/TreeLike -r  TreeConv Tree BSTreeConv BSTreeMap BSTree -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Map for documentation ..." &&  $(ECHO) Map >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Map.c OCS/Map.opt: OCS/Map.impl.inter
	@if [ "$@" = "OCS/Map.c" ] ; then $(ECHO) "Generating C Code for Map ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. Map  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair Pair -h../../AggregateTypes/SeqLike -r  SeqMap SeqReduce Seq -h../../AggregateTypes/SetLike -r  SetConv SetReduce Set SetByBSTReduce SetByBSTMap SetByBST -h../../Internal/Strange -r  CAST -h../../AggregateTypes/TreeLike -r  TreeConv Tree BSTreeConv BSTreeMap BSTree -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Map for documentation ..." &&  $(ECHO) Map >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Map.o: OCS/Map.c 
	@$(ECHO) "Generating $(ARCH) object code for Map ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Map.c -o OCS/Map.o
OCS/MapNotForUserPurpose.sign.inter: MapNotForUserPurpose.sign OCS/Map.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter
	@$(ECHO) "Checking Signature of MapNotForUserPurpose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapNotForUserPurpose  -h. -r  Map -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBST $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapNotForUserPurpose for documentation ..." &&  $(ECHO) MapNotForUserPurpose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapNotForUserPurpose.impl.inter : MapNotForUserPurpose.impl OCS/MapNotForUserPurpose.sign.inter OCS/Map.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter ../../Internal/Strange/OCS/CAST.sign.inter ../../Internal/Strange/OCS/CAST.sign.inter
	@$(ECHO) "Checking Implementation of MapNotForUserPurpose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapNotForUserPurpose  -h. -r  Map -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBST -h../../Internal/Strange -r  CAST CAST $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapNotForUserPurpose for documentation ..." &&  $(ECHO) MapNotForUserPurpose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapNotForUserPurpose.c OCS/MapNotForUserPurpose.opt: OCS/MapNotForUserPurpose.impl.inter
	@if [ "$@" = "OCS/MapNotForUserPurpose.c" ] ; then $(ECHO) "Generating C Code for MapNotForUserPurpose ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapNotForUserPurpose  -h. -r  Map -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBST -h../../Internal/Strange -r  CAST CAST $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapNotForUserPurpose for documentation ..." &&  $(ECHO) MapNotForUserPurpose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapNotForUserPurpose.o: OCS/MapNotForUserPurpose.c 
	@$(ECHO) "Generating $(ARCH) object code for MapNotForUserPurpose ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapNotForUserPurpose.c -o OCS/MapNotForUserPurpose.o
OCS/MapConv.sign.inter: MapConv.sign OCS/Map.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of MapConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapConv  -h. -r  Map -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  String Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapConv for documentation ..." &&  $(ECHO) MapConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapConv.impl.inter : MapConv.impl OCS/MapConv.sign.inter ../../Functions/General/OCS/Compose.sign.inter OCS/MapNotForUserPurpose.sign.inter OCS/Map.sign.inter ../../AggregateTypes/ProductLike/OCS/PairConv.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/StringConv.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqConv.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBSTConv.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTreeConv.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTree.sign.inter
	@$(ECHO) "Checking Implementation of MapConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapConv  -h../../Functions/General -r  Compose -h. -r  MapNotForUserPurpose Map -h../../AggregateTypes/ProductLike -r  PairConv Pair -h../../AggregateTypes/SeqLike -r  StringConv String SeqConv Seq -h../../AggregateTypes/SetLike -r  SetByBSTConv SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeConv BSTree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapConv for documentation ..." &&  $(ECHO) MapConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapConv.c OCS/MapConv.opt: OCS/MapConv.impl.inter
	@if [ "$@" = "OCS/MapConv.c" ] ; then $(ECHO) "Generating C Code for MapConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapConv  -h../../Functions/General -r  Compose -h. -r  MapNotForUserPurpose Map -h../../AggregateTypes/ProductLike -r  PairConv Pair -h../../AggregateTypes/SeqLike -r  StringConv String SeqConv Seq -h../../AggregateTypes/SetLike -r  SetByBSTConv SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeConv BSTree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapConv for documentation ..." &&  $(ECHO) MapConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapConv.o: OCS/MapConv.c 
	@$(ECHO) "Generating $(ARCH) object code for MapConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapConv.c -o OCS/MapConv.o
OCS/MapReduce.sign.inter: MapReduce.sign OCS/Map.sign.inter
	@$(ECHO) "Checking Signature of MapReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapReduce  -h. -r  Map $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapReduce for documentation ..." &&  $(ECHO) MapReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapReduce.impl.inter : MapReduce.impl OCS/MapReduce.sign.inter OCS/MapNotForUserPurpose.sign.inter OCS/Map.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBSTReduce.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter
	@$(ECHO) "Checking Implementation of MapReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapReduce  -h. -r  MapNotForUserPurpose Map -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBSTReduce SetByBST $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapReduce for documentation ..." &&  $(ECHO) MapReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapReduce.c OCS/MapReduce.opt: OCS/MapReduce.impl.inter
	@if [ "$@" = "OCS/MapReduce.c" ] ; then $(ECHO) "Generating C Code for MapReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapReduce  -h. -r  MapNotForUserPurpose Map -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBSTReduce SetByBST $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapReduce for documentation ..." &&  $(ECHO) MapReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapReduce.o: OCS/MapReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for MapReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapReduce.c -o OCS/MapReduce.o
OCS/MapCompose.sign.inter: MapCompose.sign OCS/Map.sign.inter OCS/Map.sign.inter OCS/Map.sign.inter
	@$(ECHO) "Checking Signature of MapCompose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapCompose  -h. -r  Map Map Map $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapCompose for documentation ..." &&  $(ECHO) MapCompose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapCompose.impl.inter : MapCompose.impl OCS/MapCompose.sign.inter OCS/MapReduce.sign.inter OCS/Map.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of MapCompose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapCompose  -h. -r  MapReduce Map -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapCompose for documentation ..." &&  $(ECHO) MapCompose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapCompose.c OCS/MapCompose.opt: OCS/MapCompose.impl.inter
	@if [ "$@" = "OCS/MapCompose.c" ] ; then $(ECHO) "Generating C Code for MapCompose ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapCompose  -h. -r  MapReduce Map -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapCompose for documentation ..." &&  $(ECHO) MapCompose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapCompose.o: OCS/MapCompose.c 
	@$(ECHO) "Generating $(ARCH) object code for MapCompose ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapCompose.c -o OCS/MapCompose.o
OCS/MapMap.sign.inter: MapMap.sign OCS/Map.sign.inter OCS/Map.sign.inter
	@$(ECHO) "Checking Signature of MapMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapMap  -h. -r  Map Map $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapMap for documentation ..." &&  $(ECHO) MapMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapMap.impl.inter : MapMap.impl OCS/MapMap.sign.inter OCS/MapNotForUserPurpose.sign.inter OCS/Map.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBSTMap.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter ../../Internal/Strange/OCS/CAST.sign.inter
	@$(ECHO) "Checking Implementation of MapMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapMap  -h. -r  MapNotForUserPurpose Map -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBSTMap SetByBST -h../../Internal/Strange -r  CAST $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapMap for documentation ..." &&  $(ECHO) MapMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapMap.c OCS/MapMap.opt: OCS/MapMap.impl.inter
	@if [ "$@" = "OCS/MapMap.c" ] ; then $(ECHO) "Generating C Code for MapMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapMap  -h. -r  MapNotForUserPurpose Map -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBSTMap SetByBST -h../../Internal/Strange -r  CAST $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapMap for documentation ..." &&  $(ECHO) MapMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapMap.o: OCS/MapMap.c 
	@$(ECHO) "Generating $(ARCH) object code for MapMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapMap.c -o OCS/MapMap.o
OCS/MapFilter.sign.inter: MapFilter.sign OCS/Map.sign.inter
	@$(ECHO) "Checking Signature of MapFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapFilter  -h. -r  Map $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapFilter for documentation ..." &&  $(ECHO) MapFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapFilter.impl.inter : MapFilter.impl OCS/MapFilter.sign.inter OCS/MapNotForUserPurpose.sign.inter OCS/Map.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBSTFilter.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter
	@$(ECHO) "Checking Implementation of MapFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapFilter  -h. -r  MapNotForUserPurpose Map -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBSTFilter SetByBST $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapFilter for documentation ..." &&  $(ECHO) MapFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapFilter.c OCS/MapFilter.opt: OCS/MapFilter.impl.inter
	@if [ "$@" = "OCS/MapFilter.c" ] ; then $(ECHO) "Generating C Code for MapFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapFilter  -h. -r  MapNotForUserPurpose Map -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBSTFilter SetByBST $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapFilter for documentation ..." &&  $(ECHO) MapFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapFilter.o: OCS/MapFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for MapFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapFilter.c -o OCS/MapFilter.o
OCS/MapInvert.sign.inter: MapInvert.sign OCS/Map.sign.inter OCS/Map.sign.inter
	@$(ECHO) "Checking Signature of MapInvert ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapInvert  -h. -r  Map Map $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapInvert for documentation ..." &&  $(ECHO) MapInvert >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapInvert.impl.inter : MapInvert.impl OCS/MapInvert.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Map.sign.inter OCS/MapReduce.sign.inter
	@$(ECHO) "Checking Implementation of MapInvert ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapInvert  -h../../BasicTypes -r  Nat -h. -r  Map MapReduce $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapInvert for documentation ..." &&  $(ECHO) MapInvert >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapInvert.c OCS/MapInvert.opt: OCS/MapInvert.impl.inter
	@if [ "$@" = "OCS/MapInvert.c" ] ; then $(ECHO) "Generating C Code for MapInvert ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapInvert  -h../../BasicTypes -r  Nat -h. -r  Map MapReduce $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapInvert for documentation ..." &&  $(ECHO) MapInvert >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapInvert.o: OCS/MapInvert.c 
	@$(ECHO) "Generating $(ARCH) object code for MapInvert ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapInvert.c -o OCS/MapInvert.o
OCS/MapByOS.sign.inter: MapByOS.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of MapByOS ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByOS  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair Pair -h../../AggregateTypes/SeqLike -r  Seq Seq -h../../AggregateTypes/SetLike -r  Set Set -h../../AggregateTypes/UnionLike -r  Option Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOS for documentation ..." &&  $(ECHO) MapByOS >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOS.impl.inter : MapByOS.impl OCS/MapByOS.sign.inter ../../BasicTypes/OCS/Nat.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/SetLike/OCS/SetConv.sign.inter ../../AggregateTypes/SetLike/OCS/SetReduce.sign.inter ../../AggregateTypes/SetLike/OCS/SetMap.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of MapByOS ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByOS  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  SeqReduce SeqMap Seq -h../../AggregateTypes/SetLike -r  SetConv SetReduce SetMap Set -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByOS for documentation ..." &&  $(ECHO) MapByOS >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOS.c OCS/MapByOS.opt: OCS/MapByOS.impl.inter
	@if [ "$@" = "OCS/MapByOS.c" ] ; then $(ECHO) "Generating C Code for MapByOS ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByOS  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  SeqReduce SeqMap Seq -h../../AggregateTypes/SetLike -r  SetConv SetReduce SetMap Set -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOS for documentation ..." &&  $(ECHO) MapByOS >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOS.o: OCS/MapByOS.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByOS ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByOS.c -o OCS/MapByOS.o
OCS/MapByOSConv.sign.inter: MapByOSConv.sign OCS/MapByOS.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of MapByOSConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByOSConv  -h. -r  MapByOS -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  String Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOSConv for documentation ..." &&  $(ECHO) MapByOSConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSConv.impl.inter : MapByOSConv.impl OCS/MapByOSConv.sign.inter ../../Functions/General/OCS/Compose.sign.inter OCS/MapByOS.sign.inter ../../AggregateTypes/ProductLike/OCS/PairConv.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqConv.sign.inter ../../AggregateTypes/SeqLike/OCS/StringConv.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SetLike/OCS/SetConv.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter
	@$(ECHO) "Checking Implementation of MapByOSConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByOSConv  -h../../Functions/General -r  Compose -h. -r  MapByOS -h../../AggregateTypes/ProductLike -r  PairConv Pair -h../../AggregateTypes/SeqLike -r  SeqConv StringConv String Seq -h../../AggregateTypes/SetLike -r  SetConv Set $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByOSConv for documentation ..." &&  $(ECHO) MapByOSConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSConv.c OCS/MapByOSConv.opt: OCS/MapByOSConv.impl.inter
	@if [ "$@" = "OCS/MapByOSConv.c" ] ; then $(ECHO) "Generating C Code for MapByOSConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByOSConv  -h../../Functions/General -r  Compose -h. -r  MapByOS -h../../AggregateTypes/ProductLike -r  PairConv Pair -h../../AggregateTypes/SeqLike -r  SeqConv StringConv String Seq -h../../AggregateTypes/SetLike -r  SetConv Set $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOSConv for documentation ..." &&  $(ECHO) MapByOSConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSConv.o: OCS/MapByOSConv.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByOSConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByOSConv.c -o OCS/MapByOSConv.o
OCS/MapByOSReduce.sign.inter: MapByOSReduce.sign OCS/MapByOS.sign.inter
	@$(ECHO) "Checking Signature of MapByOSReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByOSReduce  -h. -r  MapByOS $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOSReduce for documentation ..." &&  $(ECHO) MapByOSReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSReduce.impl.inter : MapByOSReduce.impl OCS/MapByOSReduce.sign.inter OCS/MapByOS.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SetLike/OCS/SetReduce.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter
	@$(ECHO) "Checking Implementation of MapByOSReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByOSReduce  -h. -r  MapByOS -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetReduce Set $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByOSReduce for documentation ..." &&  $(ECHO) MapByOSReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSReduce.c OCS/MapByOSReduce.opt: OCS/MapByOSReduce.impl.inter
	@if [ "$@" = "OCS/MapByOSReduce.c" ] ; then $(ECHO) "Generating C Code for MapByOSReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByOSReduce  -h. -r  MapByOS -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetReduce Set $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOSReduce for documentation ..." &&  $(ECHO) MapByOSReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSReduce.o: OCS/MapByOSReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByOSReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByOSReduce.c -o OCS/MapByOSReduce.o
OCS/MapByOSCompose.sign.inter: MapByOSCompose.sign OCS/MapByOS.sign.inter OCS/MapByOS.sign.inter OCS/MapByOS.sign.inter
	@$(ECHO) "Checking Signature of MapByOSCompose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByOSCompose  -h. -r  MapByOS MapByOS MapByOS $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOSCompose for documentation ..." &&  $(ECHO) MapByOSCompose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSCompose.impl.inter : MapByOSCompose.impl OCS/MapByOSCompose.sign.inter OCS/MapByOSReduce.sign.inter OCS/MapByOS.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of MapByOSCompose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByOSCompose  -h. -r  MapByOSReduce MapByOS -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByOSCompose for documentation ..." &&  $(ECHO) MapByOSCompose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSCompose.c OCS/MapByOSCompose.opt: OCS/MapByOSCompose.impl.inter
	@if [ "$@" = "OCS/MapByOSCompose.c" ] ; then $(ECHO) "Generating C Code for MapByOSCompose ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByOSCompose  -h. -r  MapByOSReduce MapByOS -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOSCompose for documentation ..." &&  $(ECHO) MapByOSCompose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSCompose.o: OCS/MapByOSCompose.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByOSCompose ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByOSCompose.c -o OCS/MapByOSCompose.o
OCS/MapByOSMap.sign.inter: MapByOSMap.sign OCS/MapByOS.sign.inter OCS/MapByOS.sign.inter
	@$(ECHO) "Checking Signature of MapByOSMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByOSMap  -h. -r  MapByOS MapByOS $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOSMap for documentation ..." &&  $(ECHO) MapByOSMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSMap.impl.inter : MapByOSMap.impl OCS/MapByOSMap.sign.inter OCS/MapByOS.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SetLike/OCS/SetMap.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter
	@$(ECHO) "Checking Implementation of MapByOSMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByOSMap  -h. -r  MapByOS -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetMap Set $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByOSMap for documentation ..." &&  $(ECHO) MapByOSMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSMap.c OCS/MapByOSMap.opt: OCS/MapByOSMap.impl.inter
	@if [ "$@" = "OCS/MapByOSMap.c" ] ; then $(ECHO) "Generating C Code for MapByOSMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByOSMap  -h. -r  MapByOS -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetMap Set $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOSMap for documentation ..." &&  $(ECHO) MapByOSMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSMap.o: OCS/MapByOSMap.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByOSMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByOSMap.c -o OCS/MapByOSMap.o
OCS/MapByOSFilter.sign.inter: MapByOSFilter.sign OCS/MapByOS.sign.inter
	@$(ECHO) "Checking Signature of MapByOSFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByOSFilter  -h. -r  MapByOS $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOSFilter for documentation ..." &&  $(ECHO) MapByOSFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSFilter.impl.inter : MapByOSFilter.impl OCS/MapByOSFilter.sign.inter OCS/MapByOS.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SetLike/OCS/SetFilter.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter
	@$(ECHO) "Checking Implementation of MapByOSFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByOSFilter  -h. -r  MapByOS -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetFilter Set $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByOSFilter for documentation ..." &&  $(ECHO) MapByOSFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSFilter.c OCS/MapByOSFilter.opt: OCS/MapByOSFilter.impl.inter
	@if [ "$@" = "OCS/MapByOSFilter.c" ] ; then $(ECHO) "Generating C Code for MapByOSFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByOSFilter  -h. -r  MapByOS -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetFilter Set $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOSFilter for documentation ..." &&  $(ECHO) MapByOSFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSFilter.o: OCS/MapByOSFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByOSFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByOSFilter.c -o OCS/MapByOSFilter.o
OCS/MapByOSInvert.sign.inter: MapByOSInvert.sign OCS/MapByOS.sign.inter OCS/MapByOS.sign.inter
	@$(ECHO) "Checking Signature of MapByOSInvert ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByOSInvert  -h. -r  MapByOS MapByOS $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOSInvert for documentation ..." &&  $(ECHO) MapByOSInvert >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSInvert.impl.inter : MapByOSInvert.impl OCS/MapByOSInvert.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/MapByOS.sign.inter OCS/MapByOSReduce.sign.inter
	@$(ECHO) "Checking Implementation of MapByOSInvert ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByOSInvert  -h../../BasicTypes -r  Nat -h. -r  MapByOS MapByOSReduce $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByOSInvert for documentation ..." &&  $(ECHO) MapByOSInvert >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSInvert.c OCS/MapByOSInvert.opt: OCS/MapByOSInvert.impl.inter
	@if [ "$@" = "OCS/MapByOSInvert.c" ] ; then $(ECHO) "Generating C Code for MapByOSInvert ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByOSInvert  -h../../BasicTypes -r  Nat -h. -r  MapByOS MapByOSReduce $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByOSInvert for documentation ..." &&  $(ECHO) MapByOSInvert >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByOSInvert.o: OCS/MapByOSInvert.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByOSInvert ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByOSInvert.c -o OCS/MapByOSInvert.o
OCS/MapByBST.sign.inter: MapByBST.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of MapByBST ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByBST  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair Pair -h../../AggregateTypes/SeqLike -r  Seq Seq -h../../AggregateTypes/SetLike -r  SetByBST SetByBST -h../../AggregateTypes/UnionLike -r  Option Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBST for documentation ..." &&  $(ECHO) MapByBST >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBST.impl.inter : MapByBST.impl OCS/MapByBST.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqMap.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqReduce.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBSTConv.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBSTReduce.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBSTMap.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter ../../Internal/Strange/OCS/CAST.sign.inter ../../AggregateTypes/TreeLike/OCS/TreeConv.sign.inter ../../AggregateTypes/TreeLike/OCS/Tree.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTreeConv.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTreeMap.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTree.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of MapByBST ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByBST  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair Pair -h../../AggregateTypes/SeqLike -r  SeqMap SeqReduce Seq -h../../AggregateTypes/SetLike -r  SetByBSTConv SetByBSTReduce SetByBSTMap SetByBST -h../../Internal/Strange -r  CAST -h../../AggregateTypes/TreeLike -r  TreeConv Tree BSTreeConv BSTreeMap BSTree -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByBST for documentation ..." &&  $(ECHO) MapByBST >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBST.c OCS/MapByBST.opt: OCS/MapByBST.impl.inter
	@if [ "$@" = "OCS/MapByBST.c" ] ; then $(ECHO) "Generating C Code for MapByBST ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByBST  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair Pair -h../../AggregateTypes/SeqLike -r  SeqMap SeqReduce Seq -h../../AggregateTypes/SetLike -r  SetByBSTConv SetByBSTReduce SetByBSTMap SetByBST -h../../Internal/Strange -r  CAST -h../../AggregateTypes/TreeLike -r  TreeConv Tree BSTreeConv BSTreeMap BSTree -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBST for documentation ..." &&  $(ECHO) MapByBST >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBST.o: OCS/MapByBST.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByBST ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByBST.c -o OCS/MapByBST.o
OCS/MapByBSTConv.sign.inter: MapByBSTConv.sign OCS/MapByBST.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of MapByBSTConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByBSTConv  -h. -r  MapByBST -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  String Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBSTConv for documentation ..." &&  $(ECHO) MapByBSTConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTConv.impl.inter : MapByBSTConv.impl OCS/MapByBSTConv.sign.inter ../../Functions/General/OCS/Compose.sign.inter OCS/MapByBST.sign.inter ../../AggregateTypes/ProductLike/OCS/PairConv.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/StringConv.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqConv.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBSTConv.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTreeConv.sign.inter ../../AggregateTypes/TreeLike/OCS/BSTree.sign.inter
	@$(ECHO) "Checking Implementation of MapByBSTConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByBSTConv  -h../../Functions/General -r  Compose -h. -r  MapByBST -h../../AggregateTypes/ProductLike -r  PairConv Pair -h../../AggregateTypes/SeqLike -r  StringConv String SeqConv Seq -h../../AggregateTypes/SetLike -r  SetByBSTConv SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeConv BSTree $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByBSTConv for documentation ..." &&  $(ECHO) MapByBSTConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTConv.c OCS/MapByBSTConv.opt: OCS/MapByBSTConv.impl.inter
	@if [ "$@" = "OCS/MapByBSTConv.c" ] ; then $(ECHO) "Generating C Code for MapByBSTConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByBSTConv  -h../../Functions/General -r  Compose -h. -r  MapByBST -h../../AggregateTypes/ProductLike -r  PairConv Pair -h../../AggregateTypes/SeqLike -r  StringConv String SeqConv Seq -h../../AggregateTypes/SetLike -r  SetByBSTConv SetByBST -h../../AggregateTypes/TreeLike -r  BSTreeConv BSTree $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBSTConv for documentation ..." &&  $(ECHO) MapByBSTConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTConv.o: OCS/MapByBSTConv.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByBSTConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByBSTConv.c -o OCS/MapByBSTConv.o
OCS/MapByBSTReduce.sign.inter: MapByBSTReduce.sign OCS/MapByBST.sign.inter
	@$(ECHO) "Checking Signature of MapByBSTReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByBSTReduce  -h. -r  MapByBST $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBSTReduce for documentation ..." &&  $(ECHO) MapByBSTReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTReduce.impl.inter : MapByBSTReduce.impl OCS/MapByBSTReduce.sign.inter OCS/MapByBST.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBSTReduce.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter
	@$(ECHO) "Checking Implementation of MapByBSTReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByBSTReduce  -h. -r  MapByBST -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBSTReduce SetByBST $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByBSTReduce for documentation ..." &&  $(ECHO) MapByBSTReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTReduce.c OCS/MapByBSTReduce.opt: OCS/MapByBSTReduce.impl.inter
	@if [ "$@" = "OCS/MapByBSTReduce.c" ] ; then $(ECHO) "Generating C Code for MapByBSTReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByBSTReduce  -h. -r  MapByBST -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBSTReduce SetByBST $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBSTReduce for documentation ..." &&  $(ECHO) MapByBSTReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTReduce.o: OCS/MapByBSTReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByBSTReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByBSTReduce.c -o OCS/MapByBSTReduce.o
OCS/MapByBSTCompose.sign.inter: MapByBSTCompose.sign OCS/MapByBST.sign.inter OCS/MapByBST.sign.inter OCS/MapByBST.sign.inter
	@$(ECHO) "Checking Signature of MapByBSTCompose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByBSTCompose  -h. -r  MapByBST MapByBST MapByBST $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBSTCompose for documentation ..." &&  $(ECHO) MapByBSTCompose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTCompose.impl.inter : MapByBSTCompose.impl OCS/MapByBSTCompose.sign.inter OCS/MapByBSTReduce.sign.inter OCS/MapByBST.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of MapByBSTCompose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByBSTCompose  -h. -r  MapByBSTReduce MapByBST -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByBSTCompose for documentation ..." &&  $(ECHO) MapByBSTCompose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTCompose.c OCS/MapByBSTCompose.opt: OCS/MapByBSTCompose.impl.inter
	@if [ "$@" = "OCS/MapByBSTCompose.c" ] ; then $(ECHO) "Generating C Code for MapByBSTCompose ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByBSTCompose  -h. -r  MapByBSTReduce MapByBST -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBSTCompose for documentation ..." &&  $(ECHO) MapByBSTCompose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTCompose.o: OCS/MapByBSTCompose.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByBSTCompose ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByBSTCompose.c -o OCS/MapByBSTCompose.o
OCS/MapByBSTMap.sign.inter: MapByBSTMap.sign OCS/MapByBST.sign.inter OCS/MapByBST.sign.inter
	@$(ECHO) "Checking Signature of MapByBSTMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByBSTMap  -h. -r  MapByBST MapByBST $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBSTMap for documentation ..." &&  $(ECHO) MapByBSTMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTMap.impl.inter : MapByBSTMap.impl OCS/MapByBSTMap.sign.inter OCS/MapByBST.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBSTMap.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter ../../Internal/Strange/OCS/CAST.sign.inter
	@$(ECHO) "Checking Implementation of MapByBSTMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByBSTMap  -h. -r  MapByBST -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBSTMap SetByBST -h../../Internal/Strange -r  CAST $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByBSTMap for documentation ..." &&  $(ECHO) MapByBSTMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTMap.c OCS/MapByBSTMap.opt: OCS/MapByBSTMap.impl.inter
	@if [ "$@" = "OCS/MapByBSTMap.c" ] ; then $(ECHO) "Generating C Code for MapByBSTMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByBSTMap  -h. -r  MapByBST -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBSTMap SetByBST -h../../Internal/Strange -r  CAST $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBSTMap for documentation ..." &&  $(ECHO) MapByBSTMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTMap.o: OCS/MapByBSTMap.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByBSTMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByBSTMap.c -o OCS/MapByBSTMap.o
OCS/MapByBSTFilter.sign.inter: MapByBSTFilter.sign OCS/MapByBST.sign.inter
	@$(ECHO) "Checking Signature of MapByBSTFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByBSTFilter  -h. -r  MapByBST $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBSTFilter for documentation ..." &&  $(ECHO) MapByBSTFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTFilter.impl.inter : MapByBSTFilter.impl OCS/MapByBSTFilter.sign.inter OCS/MapByBST.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBSTFilter.sign.inter ../../AggregateTypes/SetLike/OCS/SetByBST.sign.inter
	@$(ECHO) "Checking Implementation of MapByBSTFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByBSTFilter  -h. -r  MapByBST -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBSTFilter SetByBST $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByBSTFilter for documentation ..." &&  $(ECHO) MapByBSTFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTFilter.c OCS/MapByBSTFilter.opt: OCS/MapByBSTFilter.impl.inter
	@if [ "$@" = "OCS/MapByBSTFilter.c" ] ; then $(ECHO) "Generating C Code for MapByBSTFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByBSTFilter  -h. -r  MapByBST -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SetLike -r  SetByBSTFilter SetByBST $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBSTFilter for documentation ..." &&  $(ECHO) MapByBSTFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTFilter.o: OCS/MapByBSTFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByBSTFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByBSTFilter.c -o OCS/MapByBSTFilter.o
OCS/MapByBSTInvert.sign.inter: MapByBSTInvert.sign OCS/MapByBST.sign.inter OCS/MapByBST.sign.inter
	@$(ECHO) "Checking Signature of MapByBSTInvert ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. MapByBSTInvert  -h. -r  MapByBST MapByBST $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBSTInvert for documentation ..." &&  $(ECHO) MapByBSTInvert >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTInvert.impl.inter : MapByBSTInvert.impl OCS/MapByBSTInvert.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/MapByBST.sign.inter OCS/MapByBSTReduce.sign.inter
	@$(ECHO) "Checking Implementation of MapByBSTInvert ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. MapByBSTInvert  -h../../BasicTypes -r  Nat -h. -r  MapByBST MapByBSTReduce $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking MapByBSTInvert for documentation ..." &&  $(ECHO) MapByBSTInvert >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTInvert.c OCS/MapByBSTInvert.opt: OCS/MapByBSTInvert.impl.inter
	@if [ "$@" = "OCS/MapByBSTInvert.c" ] ; then $(ECHO) "Generating C Code for MapByBSTInvert ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. MapByBSTInvert  -h../../BasicTypes -r  Nat -h. -r  MapByBST MapByBSTReduce $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking MapByBSTInvert for documentation ..." &&  $(ECHO) MapByBSTInvert >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/MapByBSTInvert.o: OCS/MapByBSTInvert.c 
	@$(ECHO) "Generating $(ARCH) object code for MapByBSTInvert ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/MapByBSTInvert.c -o OCS/MapByBSTInvert.o
OCS/Array.sign.inter: Array.sign ../../BasicTypes/OCS/Nat.sign.inter
	@$(ECHO) "Checking Signature of Array ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Array  -h../../BasicTypes -r  Nat $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Array for documentation ..." &&  $(ECHO) Array >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Array.impl.inter : Array.impl OCS/Array.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../BasicTypes/OCS/NatConv.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../Internal/Strange/OCS/CAST.sign.inter
	@$(ECHO) "Checking Implementation of Array ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Array  -h../../BasicTypes -r  Denotation NatConv Nat -h../../Internal/Strange -r  CAST $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Array for documentation ..." &&  $(ECHO) Array >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Array.c OCS/Array.opt: OCS/Array.impl.inter
	@if [ "$@" = "OCS/Array.c" ] ; then $(ECHO) "Generating C Code for Array ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignTemplate  -h. Array  -h../../BasicTypes -r  Denotation NatConv Nat -h../../Internal/Strange -r  CAST $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Array for documentation ..." &&  $(ECHO) Array >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Array.o: OCS/Array.c Array.hc.c Array.hc.h
	@$(ECHO) "Generating $(ARCH) object code for Array ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Array.c -o OCS/Array.o
OCS/ArrayReduce.sign.inter: ArrayReduce.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/Array.sign.inter
	@$(ECHO) "Checking Signature of ArrayReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ArrayReduce  -h../../BasicTypes -r  Nat -h. -r  Array $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ArrayReduce for documentation ..." &&  $(ECHO) ArrayReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayReduce.impl.inter : ArrayReduce.impl OCS/ArrayReduce.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Array.sign.inter
	@$(ECHO) "Checking Implementation of ArrayReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ArrayReduce  -h../../BasicTypes -r  Nat -h. -r  Array $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ArrayReduce for documentation ..." &&  $(ECHO) ArrayReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayReduce.c OCS/ArrayReduce.opt: OCS/ArrayReduce.impl.inter
	@if [ "$@" = "OCS/ArrayReduce.c" ] ; then $(ECHO) "Generating C Code for ArrayReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignTemplate  -h. ArrayReduce  -h../../BasicTypes -r  Nat -h. -r  Array $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ArrayReduce for documentation ..." &&  $(ECHO) ArrayReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayReduce.o: OCS/ArrayReduce.c ArrayReduce.hc.c ArrayReduce.hc.h
	@$(ECHO) "Generating $(ARCH) object code for ArrayReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ArrayReduce.c -o OCS/ArrayReduce.o
OCS/ArrayConv.sign.inter: ArrayConv.sign OCS/Array.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of ArrayConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ArrayConv  -h. -r  Array -h../../AggregateTypes/SeqLike -r  String Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ArrayConv for documentation ..." &&  $(ECHO) ArrayConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayConv.impl.inter : ArrayConv.impl OCS/ArrayConv.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Array.sign.inter OCS/ArrayReduce.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqConv.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of ArrayConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ArrayConv  -h../../BasicTypes -r  Nat -h. -r  Array ArrayReduce -h../../AggregateTypes/SeqLike -r  SeqConv Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ArrayConv for documentation ..." &&  $(ECHO) ArrayConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayConv.c OCS/ArrayConv.opt: OCS/ArrayConv.impl.inter
	@if [ "$@" = "OCS/ArrayConv.c" ] ; then $(ECHO) "Generating C Code for ArrayConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. ArrayConv  -h../../BasicTypes -r  Nat -h. -r  Array ArrayReduce -h../../AggregateTypes/SeqLike -r  SeqConv Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ArrayConv for documentation ..." &&  $(ECHO) ArrayConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayConv.o: OCS/ArrayConv.c 
	@$(ECHO) "Generating $(ARCH) object code for ArrayConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ArrayConv.c -o OCS/ArrayConv.o
OCS/ArrayFilter.sign.inter: ArrayFilter.sign OCS/Array.sign.inter
	@$(ECHO) "Checking Signature of ArrayFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ArrayFilter  -h. -r  Array $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ArrayFilter for documentation ..." &&  $(ECHO) ArrayFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayFilter.impl.inter : ArrayFilter.impl OCS/ArrayFilter.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Array.sign.inter
	@$(ECHO) "Checking Implementation of ArrayFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ArrayFilter  -h../../BasicTypes -r  Nat -h. -r  Array $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ArrayFilter for documentation ..." &&  $(ECHO) ArrayFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayFilter.c OCS/ArrayFilter.opt: OCS/ArrayFilter.impl.inter
	@if [ "$@" = "OCS/ArrayFilter.c" ] ; then $(ECHO) "Generating C Code for ArrayFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. ArrayFilter  -h../../BasicTypes -r  Nat -h. -r  Array $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ArrayFilter for documentation ..." &&  $(ECHO) ArrayFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayFilter.o: OCS/ArrayFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for ArrayFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ArrayFilter.c -o OCS/ArrayFilter.o
OCS/ArrayMap.sign.inter: ArrayMap.sign OCS/Array.sign.inter OCS/Array.sign.inter
	@$(ECHO) "Checking Signature of ArrayMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ArrayMap  -h. -r  Array Array $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ArrayMap for documentation ..." &&  $(ECHO) ArrayMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayMap.impl.inter : ArrayMap.impl OCS/ArrayMap.sign.inter OCS/Array.sign.inter
	@$(ECHO) "Checking Implementation of ArrayMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ArrayMap  -h. -r  Array $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ArrayMap for documentation ..." &&  $(ECHO) ArrayMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayMap.c OCS/ArrayMap.opt: OCS/ArrayMap.impl.inter
	@if [ "$@" = "OCS/ArrayMap.c" ] ; then $(ECHO) "Generating C Code for ArrayMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignTemplate  -h. ArrayMap  -h. -r  Array $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ArrayMap for documentation ..." &&  $(ECHO) ArrayMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayMap.o: OCS/ArrayMap.c ArrayMap.hc.c ArrayMap.hc.h
	@$(ECHO) "Generating $(ARCH) object code for ArrayMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ArrayMap.c -o OCS/ArrayMap.o
OCS/NatMap.sign.inter: NatMap.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of NatMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. NatMap  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  Seq Seq -h../../AggregateTypes/SetLike -r  Set -h../../AggregateTypes/UnionLike -r  Option Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMap for documentation ..." &&  $(ECHO) NatMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMap.impl.inter : NatMap.impl OCS/NatMap.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/ArrayReduce.sign.inter OCS/ArrayMap.sign.inter OCS/Map.sign.inter OCS/Array.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SetLike/OCS/SetReduce.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of NatMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. NatMap  -h../../BasicTypes -r  Nat -h. -r  ArrayReduce ArrayMap Map Array -h../../AggregateTypes/SeqLike -r  Seq -h../../AggregateTypes/SetLike -r  SetReduce Set -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking NatMap for documentation ..." &&  $(ECHO) NatMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMap.c OCS/NatMap.opt: OCS/NatMap.impl.inter
	@if [ "$@" = "OCS/NatMap.c" ] ; then $(ECHO) "Generating C Code for NatMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. NatMap  -h../../BasicTypes -r  Nat -h. -r  ArrayReduce ArrayMap Map Array -h../../AggregateTypes/SeqLike -r  Seq -h../../AggregateTypes/SetLike -r  SetReduce Set -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMap for documentation ..." &&  $(ECHO) NatMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMap.o: OCS/NatMap.c 
	@$(ECHO) "Generating $(ARCH) object code for NatMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/NatMap.c -o OCS/NatMap.o
OCS/NatMapNotForUserPurpose.sign.inter: NatMapNotForUserPurpose.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/Array.sign.inter OCS/Map.sign.inter OCS/NatMap.sign.inter
	@$(ECHO) "Checking Signature of NatMapNotForUserPurpose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. NatMapNotForUserPurpose  -h../../BasicTypes -r  Nat -h. -r  Array Map NatMap $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMapNotForUserPurpose for documentation ..." &&  $(ECHO) NatMapNotForUserPurpose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapNotForUserPurpose.impl.inter : NatMapNotForUserPurpose.impl OCS/NatMapNotForUserPurpose.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/NatMap.sign.inter OCS/Map.sign.inter OCS/Array.sign.inter ../../Internal/Strange/OCS/CAST.sign.inter ../../Internal/Strange/OCS/CAST.sign.inter
	@$(ECHO) "Checking Implementation of NatMapNotForUserPurpose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. NatMapNotForUserPurpose  -h../../BasicTypes -r  Nat -h. -r  NatMap Map Array -h../../Internal/Strange -r  CAST CAST $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking NatMapNotForUserPurpose for documentation ..." &&  $(ECHO) NatMapNotForUserPurpose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapNotForUserPurpose.c OCS/NatMapNotForUserPurpose.opt: OCS/NatMapNotForUserPurpose.impl.inter
	@if [ "$@" = "OCS/NatMapNotForUserPurpose.c" ] ; then $(ECHO) "Generating C Code for NatMapNotForUserPurpose ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. NatMapNotForUserPurpose  -h../../BasicTypes -r  Nat -h. -r  NatMap Map Array -h../../Internal/Strange -r  CAST CAST $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMapNotForUserPurpose for documentation ..." &&  $(ECHO) NatMapNotForUserPurpose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapNotForUserPurpose.o: OCS/NatMapNotForUserPurpose.c 
	@$(ECHO) "Generating $(ARCH) object code for NatMapNotForUserPurpose ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/NatMapNotForUserPurpose.c -o OCS/NatMapNotForUserPurpose.o
OCS/NatMapConv.sign.inter: NatMapConv.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/NatMap.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of NatMapConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. NatMapConv  -h../../BasicTypes -r  Nat -h. -r  NatMap -h../../AggregateTypes/ProductLike -r  Pair -h../../AggregateTypes/SeqLike -r  String Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMapConv for documentation ..." &&  $(ECHO) NatMapConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapConv.impl.inter : NatMapConv.impl OCS/NatMapConv.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../Functions/General/OCS/Compose.sign.inter OCS/MapConv.sign.inter OCS/Map.sign.inter OCS/ArrayReduce.sign.inter OCS/ArrayMap.sign.inter OCS/Array.sign.inter OCS/NatMapNotForUserPurpose.sign.inter OCS/NatMap.sign.inter ../../AggregateTypes/ProductLike/OCS/PairConv.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/StringConv.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqConv.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of NatMapConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. NatMapConv  -h../../BasicTypes -r  Nat -h../../Functions/General -r  Compose -h. -r  MapConv Map ArrayReduce ArrayMap Array NatMapNotForUserPurpose NatMap -h../../AggregateTypes/ProductLike -r  PairConv Pair -h../../AggregateTypes/SeqLike -r  StringConv String SeqConv Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking NatMapConv for documentation ..." &&  $(ECHO) NatMapConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapConv.c OCS/NatMapConv.opt: OCS/NatMapConv.impl.inter
	@if [ "$@" = "OCS/NatMapConv.c" ] ; then $(ECHO) "Generating C Code for NatMapConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. NatMapConv  -h../../BasicTypes -r  Nat -h../../Functions/General -r  Compose -h. -r  MapConv Map ArrayReduce ArrayMap Array NatMapNotForUserPurpose NatMap -h../../AggregateTypes/ProductLike -r  PairConv Pair -h../../AggregateTypes/SeqLike -r  StringConv String SeqConv Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMapConv for documentation ..." &&  $(ECHO) NatMapConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapConv.o: OCS/NatMapConv.c 
	@$(ECHO) "Generating $(ARCH) object code for NatMapConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/NatMapConv.c -o OCS/NatMapConv.o
OCS/NatMapReduce.sign.inter: NatMapReduce.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/NatMap.sign.inter
	@$(ECHO) "Checking Signature of NatMapReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. NatMapReduce  -h../../BasicTypes -r  Nat -h. -r  NatMap $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMapReduce for documentation ..." &&  $(ECHO) NatMapReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapReduce.impl.inter : NatMapReduce.impl OCS/NatMapReduce.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/ArrayReduce.sign.inter OCS/Array.sign.inter OCS/Map.sign.inter OCS/MapReduce.sign.inter OCS/NatMapNotForUserPurpose.sign.inter OCS/NatMap.sign.inter
	@$(ECHO) "Checking Implementation of NatMapReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. NatMapReduce  -h../../BasicTypes -r  Nat -h. -r  ArrayReduce Array Map MapReduce NatMapNotForUserPurpose NatMap $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking NatMapReduce for documentation ..." &&  $(ECHO) NatMapReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapReduce.c OCS/NatMapReduce.opt: OCS/NatMapReduce.impl.inter
	@if [ "$@" = "OCS/NatMapReduce.c" ] ; then $(ECHO) "Generating C Code for NatMapReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. NatMapReduce  -h../../BasicTypes -r  Nat -h. -r  ArrayReduce Array Map MapReduce NatMapNotForUserPurpose NatMap $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMapReduce for documentation ..." &&  $(ECHO) NatMapReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapReduce.o: OCS/NatMapReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for NatMapReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/NatMapReduce.c -o OCS/NatMapReduce.o
OCS/NatMapMap.sign.inter: NatMapMap.sign OCS/NatMap.sign.inter OCS/NatMap.sign.inter
	@$(ECHO) "Checking Signature of NatMapMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. NatMapMap  -h. -r  NatMap NatMap $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMapMap for documentation ..." &&  $(ECHO) NatMapMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapMap.impl.inter : NatMapMap.impl OCS/NatMapMap.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/NatMap.sign.inter OCS/NatMapNotForUserPurpose.sign.inter OCS/ArrayMap.sign.inter OCS/Array.sign.inter OCS/Map.sign.inter OCS/MapMap.sign.inter
	@$(ECHO) "Checking Implementation of NatMapMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. NatMapMap  -h../../BasicTypes -r  Nat -h. -r  NatMap NatMapNotForUserPurpose ArrayMap Array Map MapMap $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking NatMapMap for documentation ..." &&  $(ECHO) NatMapMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapMap.c OCS/NatMapMap.opt: OCS/NatMapMap.impl.inter
	@if [ "$@" = "OCS/NatMapMap.c" ] ; then $(ECHO) "Generating C Code for NatMapMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. NatMapMap  -h../../BasicTypes -r  Nat -h. -r  NatMap NatMapNotForUserPurpose ArrayMap Array Map MapMap $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMapMap for documentation ..." &&  $(ECHO) NatMapMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapMap.o: OCS/NatMapMap.c 
	@$(ECHO) "Generating $(ARCH) object code for NatMapMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/NatMapMap.c -o OCS/NatMapMap.o
OCS/NatMapFilter.sign.inter: NatMapFilter.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/NatMap.sign.inter
	@$(ECHO) "Checking Signature of NatMapFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. NatMapFilter  -h../../BasicTypes -r  Nat -h. -r  NatMap $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMapFilter for documentation ..." &&  $(ECHO) NatMapFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapFilter.impl.inter : NatMapFilter.impl OCS/NatMapFilter.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/Map.sign.inter OCS/Array.sign.inter OCS/ArrayMap.sign.inter OCS/MapFilter.sign.inter OCS/NatMapNotForUserPurpose.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter
	@$(ECHO) "Checking Implementation of NatMapFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. NatMapFilter  -h../../BasicTypes -r  Nat -h. -r  Map Array ArrayMap MapFilter NatMapNotForUserPurpose -h../../AggregateTypes/ProductLike -r  Pair $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking NatMapFilter for documentation ..." &&  $(ECHO) NatMapFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapFilter.c OCS/NatMapFilter.opt: OCS/NatMapFilter.impl.inter
	@if [ "$@" = "OCS/NatMapFilter.c" ] ; then $(ECHO) "Generating C Code for NatMapFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. NatMapFilter  -h../../BasicTypes -r  Nat -h. -r  Map Array ArrayMap MapFilter NatMapNotForUserPurpose -h../../AggregateTypes/ProductLike -r  Pair $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMapFilter for documentation ..." &&  $(ECHO) NatMapFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMapFilter.o: OCS/NatMapFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for NatMapFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/NatMapFilter.c -o OCS/NatMapFilter.o
OCS/DArray.sign.inter: DArray.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/Array.sign.inter ../../AggregateTypes/SetLike/OCS/Bitset.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of DArray ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. DArray  -h../../BasicTypes -r  Nat -h. -r  Array -h../../AggregateTypes/SetLike -r  Bitset -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking DArray for documentation ..." &&  $(ECHO) DArray >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArray.impl.inter : DArray.impl OCS/DArray.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../Functions/General/OCS/Identity.sign.inter OCS/Array.sign.inter ../../AggregateTypes/SetLike/OCS/Bitset.sign.inter ../../Internal/Strange/OCS/CAST.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of DArray ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. DArray  -h../../BasicTypes -r  Nat -h../../Functions/General -r  Identity -h. -r  Array -h../../AggregateTypes/SetLike -r  Bitset -h../../Internal/Strange -r  CAST -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking DArray for documentation ..." &&  $(ECHO) DArray >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArray.c OCS/DArray.opt: OCS/DArray.impl.inter
	@if [ "$@" = "OCS/DArray.c" ] ; then $(ECHO) "Generating C Code for DArray ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. DArray  -h../../BasicTypes -r  Nat -h../../Functions/General -r  Identity -h. -r  Array -h../../AggregateTypes/SetLike -r  Bitset -h../../Internal/Strange -r  CAST -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking DArray for documentation ..." &&  $(ECHO) DArray >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArray.o: OCS/DArray.c 
	@$(ECHO) "Generating $(ARCH) object code for DArray ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/DArray.c -o OCS/DArray.o
OCS/DArrayConv.sign.inter: DArrayConv.sign OCS/Array.sign.inter OCS/DArray.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of DArrayConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. DArrayConv  -h. -r  Array DArray -h../../AggregateTypes/SeqLike -r  String Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking DArrayConv for documentation ..." &&  $(ECHO) DArrayConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayConv.impl.inter : DArrayConv.impl OCS/DArrayConv.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../../Functions/General/OCS/Identity.sign.inter OCS/Array.sign.inter OCS/DArray.sign.inter OCS/ArrayConv.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqReduce.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqIndex.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SetLike/OCS/Bitset.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of DArrayConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. DArrayConv  -h../../BasicTypes -r  Nat -h../../Functions/General -r  Identity -h. -r  Array DArray ArrayConv -h../../AggregateTypes/SeqLike -r  SeqReduce SeqIndex Seq -h../../AggregateTypes/SetLike -r  Bitset -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking DArrayConv for documentation ..." &&  $(ECHO) DArrayConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayConv.c OCS/DArrayConv.opt: OCS/DArrayConv.impl.inter
	@if [ "$@" = "OCS/DArrayConv.c" ] ; then $(ECHO) "Generating C Code for DArrayConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. DArrayConv  -h../../BasicTypes -r  Nat -h../../Functions/General -r  Identity -h. -r  Array DArray ArrayConv -h../../AggregateTypes/SeqLike -r  SeqReduce SeqIndex Seq -h../../AggregateTypes/SetLike -r  Bitset -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking DArrayConv for documentation ..." &&  $(ECHO) DArrayConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayConv.o: OCS/DArrayConv.c 
	@$(ECHO) "Generating $(ARCH) object code for DArrayConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/DArrayConv.c -o OCS/DArrayConv.o
OCS/DArrayFilter.sign.inter: DArrayFilter.sign OCS/DArray.sign.inter
	@$(ECHO) "Checking Signature of DArrayFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. DArrayFilter  -h. -r  DArray $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking DArrayFilter for documentation ..." &&  $(ECHO) DArrayFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayFilter.impl.inter : DArrayFilter.impl OCS/DArrayFilter.sign.inter OCS/ArrayFilter.sign.inter OCS/DArrayConv.sign.inter
	@$(ECHO) "Checking Implementation of DArrayFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. DArrayFilter  -h. -r  ArrayFilter DArrayConv $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking DArrayFilter for documentation ..." &&  $(ECHO) DArrayFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayFilter.c OCS/DArrayFilter.opt: OCS/DArrayFilter.impl.inter
	@if [ "$@" = "OCS/DArrayFilter.c" ] ; then $(ECHO) "Generating C Code for DArrayFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. DArrayFilter  -h. -r  ArrayFilter DArrayConv $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking DArrayFilter for documentation ..." &&  $(ECHO) DArrayFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayFilter.o: OCS/DArrayFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for DArrayFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/DArrayFilter.c -o OCS/DArrayFilter.o
OCS/ArrayFold.sign.inter: ArrayFold.sign OCS/Array.sign.inter
	@$(ECHO) "Checking Signature of ArrayFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. ArrayFold  -h. -r  Array $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ArrayFold for documentation ..." &&  $(ECHO) ArrayFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayFold.impl.inter : ArrayFold.impl OCS/ArrayFold.sign.inter OCS/Array.sign.inter
	@$(ECHO) "Checking Implementation of ArrayFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. ArrayFold  -h. -r  Array $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking ArrayFold for documentation ..." &&  $(ECHO) ArrayFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayFold.c OCS/ArrayFold.opt: OCS/ArrayFold.impl.inter
	@if [ "$@" = "OCS/ArrayFold.c" ] ; then $(ECHO) "Generating C Code for ArrayFold ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignTemplate  -h. ArrayFold  -h. -r  Array $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking ArrayFold for documentation ..." &&  $(ECHO) ArrayFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/ArrayFold.o: OCS/ArrayFold.c ArrayFold.hc.c ArrayFold.hc.h
	@$(ECHO) "Generating $(ARCH) object code for ArrayFold ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/ArrayFold.c -o OCS/ArrayFold.o
OCS/DArrayFold.sign.inter: DArrayFold.sign OCS/DArray.sign.inter
	@$(ECHO) "Checking Signature of DArrayFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. DArrayFold  -h. -r  DArray $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking DArrayFold for documentation ..." &&  $(ECHO) DArrayFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayFold.impl.inter : DArrayFold.impl OCS/DArrayFold.sign.inter OCS/DArray.sign.inter OCS/DArrayConv.sign.inter OCS/ArrayFold.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqFold.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of DArrayFold ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. DArrayFold  -h. -r  DArray DArrayConv ArrayFold -h../../AggregateTypes/SeqLike -r  SeqFold Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking DArrayFold for documentation ..." &&  $(ECHO) DArrayFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayFold.c OCS/DArrayFold.opt: OCS/DArrayFold.impl.inter
	@if [ "$@" = "OCS/DArrayFold.c" ] ; then $(ECHO) "Generating C Code for DArrayFold ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. DArrayFold  -h. -r  DArray DArrayConv ArrayFold -h../../AggregateTypes/SeqLike -r  SeqFold Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking DArrayFold for documentation ..." &&  $(ECHO) DArrayFold >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayFold.o: OCS/DArrayFold.c 
	@$(ECHO) "Generating $(ARCH) object code for DArrayFold ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/DArrayFold.c -o OCS/DArrayFold.o
OCS/DArrayMap.sign.inter: DArrayMap.sign OCS/DArray.sign.inter OCS/DArray.sign.inter
	@$(ECHO) "Checking Signature of DArrayMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. DArrayMap  -h. -r  DArray DArray $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking DArrayMap for documentation ..." &&  $(ECHO) DArrayMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayMap.impl.inter : DArrayMap.impl OCS/DArrayMap.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/DArray.sign.inter OCS/ArrayMap.sign.inter ../../AggregateTypes/SetLike/OCS/Bitset.sign.inter
	@$(ECHO) "Checking Implementation of DArrayMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. DArrayMap  -h../../BasicTypes -r  Nat -h. -r  DArray ArrayMap -h../../AggregateTypes/SetLike -r  Bitset $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking DArrayMap for documentation ..." &&  $(ECHO) DArrayMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayMap.c OCS/DArrayMap.opt: OCS/DArrayMap.impl.inter
	@if [ "$@" = "OCS/DArrayMap.c" ] ; then $(ECHO) "Generating C Code for DArrayMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. DArrayMap  -h../../BasicTypes -r  Nat -h. -r  DArray ArrayMap -h../../AggregateTypes/SetLike -r  Bitset $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking DArrayMap for documentation ..." &&  $(ECHO) DArrayMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayMap.o: OCS/DArrayMap.c 
	@$(ECHO) "Generating $(ARCH) object code for DArrayMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/DArrayMap.c -o OCS/DArrayMap.o
OCS/DArrayReduce.sign.inter: DArrayReduce.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/DArray.sign.inter
	@$(ECHO) "Checking Signature of DArrayReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. DArrayReduce  -h../../BasicTypes -r  Nat -h. -r  DArray $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking DArrayReduce for documentation ..." &&  $(ECHO) DArrayReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayReduce.impl.inter : DArrayReduce.impl OCS/DArrayReduce.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/DArray.sign.inter OCS/ArrayReduce.sign.inter OCS/DArrayConv.sign.inter ../../AggregateTypes/SetLike/OCS/Bitset.sign.inter
	@$(ECHO) "Checking Implementation of DArrayReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. DArrayReduce  -h../../BasicTypes -r  Nat -h. -r  DArray ArrayReduce DArrayConv -h../../AggregateTypes/SetLike -r  Bitset $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking DArrayReduce for documentation ..." &&  $(ECHO) DArrayReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayReduce.c OCS/DArrayReduce.opt: OCS/DArrayReduce.impl.inter
	@if [ "$@" = "OCS/DArrayReduce.c" ] ; then $(ECHO) "Generating C Code for DArrayReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. DArrayReduce  -h../../BasicTypes -r  Nat -h. -r  DArray ArrayReduce DArrayConv -h../../AggregateTypes/SetLike -r  Bitset $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking DArrayReduce for documentation ..." &&  $(ECHO) DArrayReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/DArrayReduce.o: OCS/DArrayReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for DArrayReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/DArrayReduce.c -o OCS/DArrayReduce.o
OCS/Rel.sign.inter: Rel.sign ../../BasicTypes/OCS/Nat.sign.inter ../../AggregateTypes/ProductLike/OCS/Triple.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Signature of Rel ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Rel  -h../../BasicTypes -r  Nat -h../../AggregateTypes/ProductLike -r  Triple Pair -h../../AggregateTypes/SeqLike -r  Seq Seq Seq -h../../AggregateTypes/SetLike -r  Set Set -h../../AggregateTypes/UnionLike -r  Option Option Option $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Rel for documentation ..." &&  $(ECHO) Rel >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Rel.impl.inter : Rel.impl OCS/Rel.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/MapMap.sign.inter OCS/MapFilter.sign.inter OCS/MapReduce.sign.inter OCS/Map.sign.inter ../../AggregateTypes/ProductLike/OCS/Triple.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter ../../AggregateTypes/SetLike/OCS/SetReduce.sign.inter ../../AggregateTypes/UnionLike/OCS/OptionMap.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of Rel ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Rel  -h../../BasicTypes -r  Nat -h. -r  MapMap MapFilter MapReduce Map -h../../AggregateTypes/ProductLike -r  Triple Pair -h../../AggregateTypes/SeqLike -r  Seq -h../../AggregateTypes/SetLike -r  Set SetReduce -h../../AggregateTypes/UnionLike -r  OptionMap Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Rel for documentation ..." &&  $(ECHO) Rel >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Rel.c OCS/Rel.opt: OCS/Rel.impl.inter
	@if [ "$@" = "OCS/Rel.c" ] ; then $(ECHO) "Generating C Code for Rel ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. Rel  -h../../BasicTypes -r  Nat -h. -r  MapMap MapFilter MapReduce Map -h../../AggregateTypes/ProductLike -r  Triple Pair -h../../AggregateTypes/SeqLike -r  Seq -h../../AggregateTypes/SetLike -r  Set SetReduce -h../../AggregateTypes/UnionLike -r  OptionMap Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Rel for documentation ..." &&  $(ECHO) Rel >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Rel.o: OCS/Rel.c 
	@$(ECHO) "Generating $(ARCH) object code for Rel ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Rel.c -o OCS/Rel.o
OCS/RelNotForUserPurpose.sign.inter: RelNotForUserPurpose.sign OCS/Map.sign.inter OCS/Map.sign.inter OCS/Rel.sign.inter
	@$(ECHO) "Checking Signature of RelNotForUserPurpose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. RelNotForUserPurpose  -h. -r  Map Map Rel $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelNotForUserPurpose for documentation ..." &&  $(ECHO) RelNotForUserPurpose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelNotForUserPurpose.impl.inter : RelNotForUserPurpose.impl OCS/RelNotForUserPurpose.sign.inter OCS/Map.sign.inter OCS/Map.sign.inter OCS/Rel.sign.inter ../../Internal/Strange/OCS/CAST.sign.inter ../../Internal/Strange/OCS/CAST.sign.inter
	@$(ECHO) "Checking Implementation of RelNotForUserPurpose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. RelNotForUserPurpose  -h. -r  Map Map Rel -h../../Internal/Strange -r  CAST CAST $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking RelNotForUserPurpose for documentation ..." &&  $(ECHO) RelNotForUserPurpose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelNotForUserPurpose.c OCS/RelNotForUserPurpose.opt: OCS/RelNotForUserPurpose.impl.inter
	@if [ "$@" = "OCS/RelNotForUserPurpose.c" ] ; then $(ECHO) "Generating C Code for RelNotForUserPurpose ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. RelNotForUserPurpose  -h. -r  Map Map Rel -h../../Internal/Strange -r  CAST CAST $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelNotForUserPurpose for documentation ..." &&  $(ECHO) RelNotForUserPurpose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelNotForUserPurpose.o: OCS/RelNotForUserPurpose.c 
	@$(ECHO) "Generating $(ARCH) object code for RelNotForUserPurpose ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/RelNotForUserPurpose.c -o OCS/RelNotForUserPurpose.o
OCS/RelMap.sign.inter: RelMap.sign OCS/Rel.sign.inter OCS/Rel.sign.inter
	@$(ECHO) "Checking Signature of RelMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. RelMap  -h. -r  Rel Rel $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelMap for documentation ..." &&  $(ECHO) RelMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelMap.impl.inter : RelMap.impl OCS/RelMap.sign.inter OCS/MapReduce.sign.inter OCS/Map.sign.inter OCS/Rel.sign.inter OCS/RelNotForUserPurpose.sign.inter
	@$(ECHO) "Checking Implementation of RelMap ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. RelMap  -h. -r  MapReduce Map Rel RelNotForUserPurpose $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking RelMap for documentation ..." &&  $(ECHO) RelMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelMap.c OCS/RelMap.opt: OCS/RelMap.impl.inter
	@if [ "$@" = "OCS/RelMap.c" ] ; then $(ECHO) "Generating C Code for RelMap ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. RelMap  -h. -r  MapReduce Map Rel RelNotForUserPurpose $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelMap for documentation ..." &&  $(ECHO) RelMap >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelMap.o: OCS/RelMap.c 
	@$(ECHO) "Generating $(ARCH) object code for RelMap ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/RelMap.c -o OCS/RelMap.o
OCS/RelReduce.sign.inter: RelReduce.sign OCS/Rel.sign.inter
	@$(ECHO) "Checking Signature of RelReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. RelReduce  -h. -r  Rel $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelReduce for documentation ..." &&  $(ECHO) RelReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelReduce.impl.inter : RelReduce.impl OCS/RelReduce.sign.inter OCS/MapReduce.sign.inter OCS/Map.sign.inter OCS/Rel.sign.inter OCS/RelNotForUserPurpose.sign.inter
	@$(ECHO) "Checking Implementation of RelReduce ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. RelReduce  -h. -r  MapReduce Map Rel RelNotForUserPurpose $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking RelReduce for documentation ..." &&  $(ECHO) RelReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelReduce.c OCS/RelReduce.opt: OCS/RelReduce.impl.inter
	@if [ "$@" = "OCS/RelReduce.c" ] ; then $(ECHO) "Generating C Code for RelReduce ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. RelReduce  -h. -r  MapReduce Map Rel RelNotForUserPurpose $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelReduce for documentation ..." &&  $(ECHO) RelReduce >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelReduce.o: OCS/RelReduce.c 
	@$(ECHO) "Generating $(ARCH) object code for RelReduce ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/RelReduce.c -o OCS/RelReduce.o
OCS/RelFilter.sign.inter: RelFilter.sign OCS/Rel.sign.inter
	@$(ECHO) "Checking Signature of RelFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. RelFilter  -h. -r  Rel $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelFilter for documentation ..." &&  $(ECHO) RelFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelFilter.impl.inter : RelFilter.impl OCS/RelFilter.sign.inter OCS/MapReduce.sign.inter OCS/MapFilter.sign.inter OCS/Map.sign.inter OCS/Rel.sign.inter OCS/RelNotForUserPurpose.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter
	@$(ECHO) "Checking Implementation of RelFilter ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. RelFilter  -h. -r  MapReduce MapFilter Map Rel RelNotForUserPurpose -h../../AggregateTypes/ProductLike -r  Pair $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking RelFilter for documentation ..." &&  $(ECHO) RelFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelFilter.c OCS/RelFilter.opt: OCS/RelFilter.impl.inter
	@if [ "$@" = "OCS/RelFilter.c" ] ; then $(ECHO) "Generating C Code for RelFilter ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. RelFilter  -h. -r  MapReduce MapFilter Map Rel RelNotForUserPurpose -h../../AggregateTypes/ProductLike -r  Pair $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelFilter for documentation ..." &&  $(ECHO) RelFilter >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelFilter.o: OCS/RelFilter.c 
	@$(ECHO) "Generating $(ARCH) object code for RelFilter ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/RelFilter.c -o OCS/RelFilter.o
OCS/RelConv.sign.inter: RelConv.sign OCS/Rel.sign.inter ../../AggregateTypes/ProductLike/OCS/Triple.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of RelConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. RelConv  -h. -r  Rel -h../../AggregateTypes/ProductLike -r  Triple -h../../AggregateTypes/SeqLike -r  String Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelConv for documentation ..." &&  $(ECHO) RelConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelConv.impl.inter : RelConv.impl OCS/RelConv.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../Functions/General/OCS/Compose.sign.inter OCS/RelReduce.sign.inter OCS/Rel.sign.inter ../../AggregateTypes/ProductLike/OCS/Triple.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqConv.sign.inter ../../AggregateTypes/SeqLike/OCS/StringConv.sign.inter ../../AggregateTypes/SeqLike/OCS/String.sign.inter ../../AggregateTypes/SeqLike/OCS/SeqReduce.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of RelConv ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. RelConv  -h../../BasicTypes -r  Denotation -h../../Functions/General -r  Compose -h. -r  RelReduce Rel -h../../AggregateTypes/ProductLike -r  Triple -h../../AggregateTypes/SeqLike -r  SeqConv StringConv String SeqReduce Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking RelConv for documentation ..." &&  $(ECHO) RelConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelConv.c OCS/RelConv.opt: OCS/RelConv.impl.inter
	@if [ "$@" = "OCS/RelConv.c" ] ; then $(ECHO) "Generating C Code for RelConv ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. RelConv  -h../../BasicTypes -r  Denotation -h../../Functions/General -r  Compose -h. -r  RelReduce Rel -h../../AggregateTypes/ProductLike -r  Triple -h../../AggregateTypes/SeqLike -r  SeqConv StringConv String SeqReduce Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelConv for documentation ..." &&  $(ECHO) RelConv >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelConv.o: OCS/RelConv.c 
	@$(ECHO) "Generating $(ARCH) object code for RelConv ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/RelConv.c -o OCS/RelConv.o
OCS/RelCompose.sign.inter: RelCompose.sign OCS/Rel.sign.inter OCS/Rel.sign.inter OCS/Rel.sign.inter
	@$(ECHO) "Checking Signature of RelCompose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. RelCompose  -h. -r  Rel Rel Rel $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelCompose for documentation ..." &&  $(ECHO) RelCompose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelCompose.impl.inter : RelCompose.impl OCS/RelCompose.sign.inter OCS/MapReduce.sign.inter OCS/Map.sign.inter OCS/RelReduce.sign.inter OCS/RelNotForUserPurpose.sign.inter OCS/Rel.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of RelCompose ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. RelCompose  -h. -r  MapReduce Map RelReduce RelNotForUserPurpose Rel -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking RelCompose for documentation ..." &&  $(ECHO) RelCompose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelCompose.c OCS/RelCompose.opt: OCS/RelCompose.impl.inter
	@if [ "$@" = "OCS/RelCompose.c" ] ; then $(ECHO) "Generating C Code for RelCompose ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. RelCompose  -h. -r  MapReduce Map RelReduce RelNotForUserPurpose Rel -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelCompose for documentation ..." &&  $(ECHO) RelCompose >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelCompose.o: OCS/RelCompose.c 
	@$(ECHO) "Generating $(ARCH) object code for RelCompose ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/RelCompose.c -o OCS/RelCompose.o
OCS/RelInvert.sign.inter: RelInvert.sign OCS/Rel.sign.inter OCS/Rel.sign.inter
	@$(ECHO) "Checking Signature of RelInvert ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. RelInvert  -h. -r  Rel Rel $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelInvert for documentation ..." &&  $(ECHO) RelInvert >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelInvert.impl.inter : RelInvert.impl OCS/RelInvert.sign.inter OCS/Map.sign.inter OCS/MapReduce.sign.inter OCS/RelNotForUserPurpose.sign.inter OCS/Rel.sign.inter
	@$(ECHO) "Checking Implementation of RelInvert ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. RelInvert  -h. -r  Map MapReduce RelNotForUserPurpose Rel $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking RelInvert for documentation ..." &&  $(ECHO) RelInvert >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelInvert.c OCS/RelInvert.opt: OCS/RelInvert.impl.inter
	@if [ "$@" = "OCS/RelInvert.c" ] ; then $(ECHO) "Generating C Code for RelInvert ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. RelInvert  -h. -r  Map MapReduce RelNotForUserPurpose Rel $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelInvert for documentation ..." &&  $(ECHO) RelInvert >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelInvert.o: OCS/RelInvert.c 
	@$(ECHO) "Generating $(ARCH) object code for RelInvert ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/RelInvert.c -o OCS/RelInvert.o
OCS/RelHomog.sign.inter: RelHomog.sign ../../BasicTypes/OCS/Nat.sign.inter OCS/Rel.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter
	@$(ECHO) "Checking Signature of RelHomog ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. RelHomog  -h../../BasicTypes -r  Nat -h. -r  Rel -h../../AggregateTypes/SetLike -r  Set $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelHomog for documentation ..." &&  $(ECHO) RelHomog >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelHomog.impl.inter : RelHomog.impl OCS/RelHomog.sign.inter ../../BasicTypes/OCS/Nat.sign.inter OCS/MapReduce.sign.inter OCS/Map.sign.inter OCS/RelNotForUserPurpose.sign.inter OCS/RelReduce.sign.inter OCS/RelCompose.sign.inter OCS/Rel.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/ProductLike/OCS/AnonPair.sign.inter ../../AggregateTypes/SetLike/OCS/Set.sign.inter ../../AggregateTypes/SetLike/OCS/SetReduce.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of RelHomog ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. RelHomog  -h../../BasicTypes -r  Nat -h. -r  MapReduce Map RelNotForUserPurpose RelReduce RelCompose Rel -h../../AggregateTypes/ProductLike -r  Pair AnonPair -h../../AggregateTypes/SetLike -r  Set SetReduce -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking RelHomog for documentation ..." &&  $(ECHO) RelHomog >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelHomog.c OCS/RelHomog.opt: OCS/RelHomog.impl.inter
	@if [ "$@" = "OCS/RelHomog.c" ] ; then $(ECHO) "Generating C Code for RelHomog ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. RelHomog  -h../../BasicTypes -r  Nat -h. -r  MapReduce Map RelNotForUserPurpose RelReduce RelCompose Rel -h../../AggregateTypes/ProductLike -r  Pair AnonPair -h../../AggregateTypes/SetLike -r  Set SetReduce -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RelHomog for documentation ..." &&  $(ECHO) RelHomog >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RelHomog.o: OCS/RelHomog.c 
	@$(ECHO) "Generating $(ARCH) object code for RelHomog ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/RelHomog.c -o OCS/RelHomog.o
OCS/Maps.sign.inter: Maps.sign OCS/MapReduce.sign.inter OCS/MapMap.sign.inter OCS/MapFilter.sign.inter OCS/MapConv.sign.inter OCS/Map.sign.inter
	@$(ECHO) "Checking Signature of Maps ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Maps  -h. -r  MapReduce MapMap MapFilter MapConv Map $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Maps for documentation ..." &&  $(ECHO) Maps >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Maps.impl.inter : Maps.impl OCS/Maps.sign.inter
	@$(ECHO) "Checking Implementation of Maps ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Maps  $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Maps for documentation ..." &&  $(ECHO) Maps >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Maps.c OCS/Maps.opt: OCS/Maps.impl.inter
	@if [ "$@" = "OCS/Maps.c" ] ; then $(ECHO) "Generating C Code for Maps ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. Maps  $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Maps for documentation ..." &&  $(ECHO) Maps >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Maps.o: OCS/Maps.c 
	@$(ECHO) "Generating $(ARCH) object code for Maps ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Maps.c -o OCS/Maps.o
OCS/NatMaps.sign.inter: NatMaps.sign OCS/NatMapReduce.sign.inter OCS/NatMapMap.sign.inter OCS/NatMapFilter.sign.inter OCS/NatMapConv.sign.inter OCS/NatMap.sign.inter
	@$(ECHO) "Checking Signature of NatMaps ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. NatMaps  -h. -r  NatMapReduce NatMapMap NatMapFilter NatMapConv NatMap $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMaps for documentation ..." &&  $(ECHO) NatMaps >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMaps.impl.inter : NatMaps.impl OCS/NatMaps.sign.inter
	@$(ECHO) "Checking Implementation of NatMaps ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. NatMaps  $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking NatMaps for documentation ..." &&  $(ECHO) NatMaps >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMaps.c OCS/NatMaps.opt: OCS/NatMaps.impl.inter
	@if [ "$@" = "OCS/NatMaps.c" ] ; then $(ECHO) "Generating C Code for NatMaps ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. NatMaps  $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking NatMaps for documentation ..." &&  $(ECHO) NatMaps >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/NatMaps.o: OCS/NatMaps.c 
	@$(ECHO) "Generating $(ARCH) object code for NatMaps ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/NatMaps.c -o OCS/NatMaps.o
OCS/Arrays.sign.inter: Arrays.sign OCS/ArrayReduce.sign.inter OCS/ArrayMap.sign.inter OCS/ArrayFold.sign.inter OCS/ArrayFilter.sign.inter OCS/ArrayConv.sign.inter OCS/Array.sign.inter
	@$(ECHO) "Checking Signature of Arrays ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. Arrays  -h. -r  ArrayReduce ArrayMap ArrayFold ArrayFilter ArrayConv Array $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Arrays for documentation ..." &&  $(ECHO) Arrays >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Arrays.impl.inter : Arrays.impl OCS/Arrays.sign.inter
	@$(ECHO) "Checking Implementation of Arrays ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. Arrays  $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking Arrays for documentation ..." &&  $(ECHO) Arrays >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Arrays.c OCS/Arrays.opt: OCS/Arrays.impl.inter
	@if [ "$@" = "OCS/Arrays.c" ] ; then $(ECHO) "Generating C Code for Arrays ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. Arrays  $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking Arrays for documentation ..." &&  $(ECHO) Arrays >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/Arrays.o: OCS/Arrays.c 
	@$(ECHO) "Generating $(ARCH) object code for Arrays ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/Arrays.c -o OCS/Arrays.o
