Module DataTypeGroup

module DataTypeGroup: sig .. end

Everything you need to properly deal with data type groups.

This module takes care of opening a group of definitions in a file, and running the various analyses required (Variance, FactInference).

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

This function processes a data_type_group, and opens the corresponding binders in the toplevel_items that follow. The resulting toplevel_items are returned, as well as the list of vars that have been bound.