sig
  val check_declaration_group :
    TypeCore.env ->
    Expressions.declaration_group ->
    Expressions.toplevel_item list ->
    TypeCore.env * Expressions.toplevel_item list * TypeCore.var list
end