sig
  val check_declaration_group :
    TypeCore.env ->
    ExpressionsCore.definitions ->
    ExpressionsCore.toplevel_item list ->
    TypeCore.env * ExpressionsCore.toplevel_item list *
    (Variable.name * TypeCore.var) list
  val check_function_call :
    TypeCore.env ->
    ?annot:TypeCore.typ ->
    TypeCore.var -> TypeCore.var -> TypeCore.env * TypeCore.typ
end