package ocplib-resto

  1. Overview
  2. Docs
type t
val witness : t witness
val eq : 'a witness -> ('a, t) eq