This file implements pointed pairs in Javascript. In a Typescript-like manner :

type Pair<A,B> = { car: A, cdr: B }

A pointed pair is traditionally made of a car and a cdr | cdr that represent both parts.

Index

Functions