Disassembling from bytecode file: top.lp
Bytecode version: 3
Module name: top

LABEL               INSTRUCTION              OPERANDS


Global kind table:
0: i/0

Local kind table:
0: /2
1: /1
2: /3

Type skeleton table:
0: A -> A
1: A -> A -> A
2: A
3: A -> A -> A -> A
4: A
5: A -> A
6: A -> A -> A

Global constant table: 
0: a (No Fixity, precedence 0)
    Env Size: 1, Type Skeleton: #2

Local constant table: 
0:  (No Fixity, precedence 0)
    Env Size: 1, Type Skeleton: #0
1:  (No Fixity, precedence 0)
    Env Size: 1, Type Skeleton: #1
2:  (No Fixity, precedence 0)
    Env Size: 1, Type Skeleton: #3

Hidden constant table: 

String table:

Implication Tables:

Hash tables:

Import tables:

  Import table:
    number of code segments: 1
    Next clause table: 0
    Local constant table: 2
   <local const #0>
   <local const #1>
    Find function type: hash
    Search table: 0

  Import table:
    number of code segments: 0
    Next clause table: 0
    Local constant table: 1
   <local const #2>
    Find function type: hash
    Search table: 0

Accumulated tables:

Imported tables:
