val gen_python_module:
  string ->
  Flx_mtypes2.sym_state_t ->
  Flx_bsym_table.t ->
  Flx_btype.biface_t list ->
  string