Disassembling from bytecode file: top.lpo
Bytecode version: 2
Module name: top

LABEL               INSTRUCTION              OPERANDS


Global kind table:
0: i/0

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

Type skeleton table:
0: A -> A
1: A -> A -> A
2: 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

Hidden constant table: 

String table:

Implication Tables:

Hash tables:

Module table:
  Predicate definitions possibly extending previous ones: 0
  Exportdef predicates: 0
  Local predicates: 0
  Find function type: hash
  In-core table size: 0

Accumulated tables:
0: acc
    Kind renamings:
    k -> <local kind #0>
    i -> i
    j -> <local kind #1>
    Constant renamings:
    c -> <local const #1>
    a -> a
    b -> <local const #0>

Imported tables:
