definition module saplinterface

import StdEnv, syntax, backend, type
from partition import ::Component

gensaplfiles :: Int {#DclModule} !{!Component} !{# FunDef} CommonDefs {#CommonDefs} Ident  [IndexRange] !*File !*BackEnd !*Heaps
                -> *(!*File, !*BackEnd, !*Heaps)