require "./datatypes.k"
require "./functions.k"
require "./local.k"

module AGDA-SEMANTICS-DECLARATIONS
  imports AGDA-SEMANTICS-DECLARATIONS-DATATYPES
  imports AGDA-SEMANTICS-DECLARATIONS-FUNCTIONS
  imports AGDA-SEMANTICS-DECLARATIONS-LOCAL
endmodule
