definition module saplinterface

import StdEnv, syntax
from partition import ::Component

gensaplfiles :: !Files {#DclModule} {#{#CheckedTypeDef}} !*{!Component} !*{# FunDef} CommonDefs {#CommonDefs} Ident  [IndexRange] !String
                -> (!Files,!*{!Component}, !*{# FunDef})