NAME "Color"
COMPILED true
TIME 1160775738

IMPORT "Prelude"

TYPE "Color" 0 public

CONSTRUCTOR "Red" 0 0 2 public :: "Color"."Color"
CONSTRUCTOR "Green" 0 0 3 public :: "Color"."Color"
CONSTRUCTOR "Blue" 0 0 4 public :: "Color"."Color"

OPERATION "succ" 0 1  public :: ->("Color"."Color","Color"."Color")
{
 Load 0
 Branch
 {
  {
  MakeTerm "Green" "Color"
  MakeTerm "Red" "Color"
  Narrow
  }
  {
  Fail
  }
  {
  MakeTerm "Green" "Color"
  Pop
  Replace
  }
  {
  MakeTerm "Blue" "Color"
  Pop
  Replace
  }
  {
  Fail
  }}
}

OPERATION "pred" 0 1  public :: ->("Color"."Color","Color"."Color")
{
 Load 0
 Branch
 {
  {
  MakeTerm "Green" "Color"
  MakeTerm "Blue" "Color"
  Narrow
  }
  {
  Fail
  }
  {
  Fail
  }
  {
  MakeTerm "Red" "Color"
  Pop
  Replace
  }
  {
  MakeTerm "Green" "Color"
  Pop
  Replace
  }}
}

OPERATION "eqColor" 0 2  public :: ->("Color"."Color",->("Color"."Color","Prelude"."Bool"))
{
 Load 0
 Branch
 {
  {
  MakeTerm "Blue" "Color"
  MakeTerm "Green" "Color"
  MakeTerm "Red" "Color"
  Narrow
  }
  {
  Fail
  }
  {
  Load 1
  Branch
 {
  {
  MakeTerm "Blue" "Color"
  MakeTerm "Green" "Color"
  MakeTerm "Red" "Color"
  Narrow
  }
  {
  Fail
  }
  {
  MakeTerm "True" "Prelude"
  Pop
  Replace
  }
  {
  MakeTerm "False" "Prelude"
  Pop
  Replace
  }
  {
  MakeTerm "False" "Prelude"
  Pop
  Replace
  }}
  }
  {
  Load 1
  Branch
 {
  {
  MakeTerm "Blue" "Color"
  MakeTerm "Green" "Color"
  MakeTerm "Red" "Color"
  Narrow
  }
  {
  Fail
  }
  {
  MakeTerm "False" "Prelude"
  Pop
  Replace
  }
  {
  MakeTerm "True" "Prelude"
  Pop
  Replace
  }
  {
  MakeTerm "False" "Prelude"
  Pop
  Replace
  }}
  }
  {
  Load 1
  Branch
 {
  {
  MakeTerm "Blue" "Color"
  MakeTerm "Green" "Color"
  MakeTerm "Red" "Color"
  Narrow
  }
  {
  Fail
  }
  {
  MakeTerm "False" "Prelude"
  Pop
  Replace
  }
  {
  MakeTerm "False" "Prelude"
  Pop
  Replace
  }
  {
  MakeTerm "True" "Prelude"
  Pop
  Replace
  }}
  }}
}