15.3.178  src/lib/compiler/back/low/tools/line-number-db/generate-file.api

## gen-file.api

# Compiled by:
#     src/lib/compiler/back/low/tools/line-number-database.lib

api Generate_File {
    #
    gen:  { trans:       String -> String,
            file_suffix:  String,
            program:     String
          }
          ->
          (String, List(String))
          ->
          Int;
};