definition module LinkerOffsets;

import StdEnv;
import SymbolTable;
import State;

import pdLinkerOffsets;

compute_offsets2 :: a .b .c ![.(a -> .(.c -> .(.b -> (.c,.b))))] -> (.c,.b);
compute_module_offsets2 :: (!a -> !.(Int -> !.(Int -> .(!.b -> .(!*State -> *(!.b,!*State)))))) !Int !a !.b !Int !*State -> *(!.b,!*State);
compute_section_module_offsets2 :: !Int !Int !Int !SymbolIndexList  !Int !*State -> (!Int,!*State);
compute_unmarked_section_module_offsets2 :: !Int !Int !Int !SymbolIndexList  !Int !*State -> (!Int,!*State);