NAME "Sharing"
COMPILED true
TIME 1160775757

IMPORT "Prelude"

OPERATION "double" 0 1  public :: ->("Prelude"."Int","Prelude"."Int")
{
 Load 0
 Push
 Load 0
 Push
 MakeTerm "+" "Prelude"
 Pop
 Replace
}

OPERATION "ndet" 0 1  public :: ->("Prelude"."Bool","Prelude"."Int")
{
 Load 0
 Branch
 {
  {
  MakeTerm "True" "Prelude"
  Narrow
  }
  {
  Fail
  }
  {
  Fail
  }
  {
  MakeInt 1
  MakeInt 0
  MakeTerm "?" "Prelude"
  Pop
  Replace
  }}
}

OPERATION "main" 0 0  public :: "Prelude"."Int"
{
 MakeTerm "True" "Prelude"
 MakeTerm "False" "Prelude"
 MakeTerm "?" "Prelude"
 MakeTerm "ndet" "Sharing"
 MakeTerm "double" "Sharing"
 Pop
 Replace
}

OPERATION "test" 0 0  public :: "Prelude"."Bool"
{
 MakeInt 0
 MakeInt 2
 MakeTerm "main" "Sharing"
 MakeTerm "mod" "Prelude"
 MakeTerm "==" "Prelude"
 Pop
 Replace
}