/* sbt -- Simple Build Tool
 * Copyright 2010 Mark Harrah
 */
package sbt

object Types extends Types

trait Types extends TypeFunctions {
  val :^: = KCons
  type :+:[H, T <: HList] = HCons[H, T]
  val :+: = HCons
}