1 files changed, 16 insertions, 0 deletions
diff --git a/tiger-compiler/src/type/function.hxx b/tiger-compiler/src/type/function.hxx
new file mode 100644
index 0000000..1784650
--- /dev/null
+++ b/tiger-compiler/src/type/function.hxx
@@ -0,0 +1,16 @@
+/**
+ ** \file type/function.hxx
+ ** \brief Inline methods for type::Function.
+ */
+#pragma once
+
+#include <misc/contract.hh>
+#include <type/function.hh>
+
+namespace type
+{
+  inline const Record& Function::formals_get() const { return *formals_; }
+
+  inline const Type& Function::result_get() const { return result_; }
+
+} // namespace type