NAME "NonDet"
COMPILED true
TIME 1160775746

IMPORT "Prelude"

OPERATION "permute" 0 1  public :: ->("Prelude"."[]"(0),"Prelude"."[]"(0))
{
 Load 0
 Branch
 {
  {
  MakeAnon
  MakeAnon
  MakeTerm ":" "Prelude"
  MakeTerm "[]" "Prelude"
  Narrow
  }
  {
  Fail
  }
  {
  MakeTerm "[]" "Prelude"
  Pop
  Replace
  }
  {
  StoreVar 1
  StoreVar 2
  MakeVar 2
  Load 0 0
  Push
  MakeTerm ":" "Prelude"
  MakeVar 1
  MakeTerm "++" "Prelude"
  Load 0 1
  Push
  MakeTerm "permute" "NonDet"
  MakeVar 2
  MakeVar 1
  MakeTerm "++" "Prelude"
  MakeTerm "=:=" "Prelude"
  MakeTerm "cond" "Prelude"
  Pop
  Replace
  }}
}

OPERATION "ndtest" 0 0  public :: "Prelude"."Success"
{
 MakeTerm "[]" "Prelude"
 MakeInt 7
 MakeTerm ":" "Prelude"
 MakeInt 6
 MakeTerm ":" "Prelude"
 MakeInt 5
 MakeTerm ":" "Prelude"
 MakeInt 4
 MakeTerm ":" "Prelude"
 MakeInt 3
 MakeTerm ":" "Prelude"
 MakeInt 2
 MakeTerm ":" "Prelude"
 MakeInt 1
 MakeTerm ":" "Prelude"
 MakeTerm "permute" "NonDet"
 MakeInt 0
 MakeTerm "member" "NonDet"
 MakeTerm "#ORCASE_0" "NonDet"
 Pop
 Replace
}

OPERATION "member" 0 2  public :: ->(0,->("Prelude"."[]"(0),"Prelude"."Bool"))
{
 Load 1
 Branch
 {
  {
  MakeAnon
  MakeAnon
  MakeTerm ":" "Prelude"
  MakeTerm "[]" "Prelude"
  Narrow
  }
  {
  Fail
  }
  {
  MakeTerm "False" "Prelude"
  Pop
  Replace
  }
  {
  Load 1 1
  Push
  Load 0
  Push
  MakeTerm "member" "NonDet"
  Load 1 0
  Push
  Load 0
  Push
  MakeTerm "==" "Prelude"
  MakeTerm "||" "Prelude"
  Pop
  Replace
  }}
}

OPERATION "#ORCASE_0" 0 1  private :: ->(2,0)
{
 Load 0
 Branch
 {
  {
  Residuate
  }
  {
  Fail
  }
  {
  MakeTerm "failed" "Prelude"
  Pop
  Replace
  }
  {
  MakeTerm "success" "Prelude"
  Pop
  Replace
  }}
}