//
// Created by Dependently-Typed Lambda Calculus on 2019-06-06
// pairs
// Author: ice10
//

val pairs : Type1 * Type2;
let pairs = Type, Type1;

val dependent_pairs : (a : Type2) * a;
let dependent_pairs = Type1, Type;