NAME "Peano"
COMPILED true
TIME 1160775752

IMPORT "Prelude"

TYPE "Peano" 0 public

CONSTRUCTOR "zero" 0 0 2 public :: "Peano"."Peano"
CONSTRUCTOR "succ" 0 1 3 public :: ->("Peano"."Peano","Peano"."Peano")

OPERATION "pleq" 0 2  public :: ->("Peano"."Peano",->("Peano"."Peano","Prelude"."Bool"))
{
 Load 0
 Branch
 {
  {
  MakeAnon
  MakeTerm "succ" "Peano"
  MakeTerm "zero" "Peano"
  Narrow
  }
  {
  Fail
  }
  {
  MakeTerm "True" "Prelude"
  Pop
  Replace
  }
  {
  Load 1
  Branch
 {
  {
  MakeAnon
  MakeTerm "succ" "Peano"
  MakeTerm "zero" "Peano"
  Narrow
  }
  {
  Fail
  }
  {
  MakeTerm "False" "Prelude"
  Pop
  Replace
  }
  {
  Load 1 0
  Push
  Load 0 0
  Push
  MakeTerm "pleq" "Peano"
  Pop
  Replace
  }}
  }}
}

OPERATION "padd" 0 2  public :: ->("Peano"."Peano",->("Peano"."Peano","Peano"."Peano"))
{
 Load 0
 Branch
 {
  {
  MakeAnon
  MakeTerm "succ" "Peano"
  MakeTerm "zero" "Peano"
  Narrow
  }
  {
  Fail
  }
  {
  Load 1
  Push
  MakeRef
  Pop
  Replace
  }
  {
  Load 1
  Push
  Load 0 0
  Push
  MakeTerm "padd" "Peano"
  MakeTerm "succ" "Peano"
  Pop
  Replace
  }}
}