links

The Links Programming Language
IN THIS PACKAGE

Parameters

Signature

type t
type 'a repr =
| Immediate : Immediate.t repr
| Non_immediate : Non_immediate.t repr
val repr : t repr