summaryrefslogtreecommitdiff
path: root/tiger-compiler/src/type/function.hxx
blob: 1784650e6ebd09d53ab150cc5179d444aea9ee1f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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