sig
val gen_ctor :
Flx_mtypes2.sym_state_t ->
Flx_types.fully_bound_symbol_table_t ->
string ->
(int * int) list ->
(int * Flx_types.btypecode_t) list ->
(string * string) list ->
string list ->
Flx_types.btypecode_t list -> Flx_ast.property_t list -> string
end