sig
  val bind_data_type_group :
    TypeCore.env ->
    TypeCore.data_type_group ->
    Expressions.toplevel_item list ->
    TypeCore.env * Expressions.toplevel_item list * TypeCore.var list
end