src/list/cons.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

#ifndef TYPEASVALUE_SRC_LIST_CONS_H_
#define TYPEASVALUE_SRC_LIST_CONS_H_

#include "pair.h"

namespace tav {

template <
	typename CAR,
	typename CDR
>
using Cons = Pair<CAR, CDR>;

template <typename Pair>
using Car = typename Pair::car;

template <typename Pair>
using Cdr = typename Pair::cdr;

}

#endif  // TYPEASVALUE_SRC_LIST_CONS_H_