package caqti

  1. Overview
  2. Docs

Prerequisites.

type counit
val absurd : counit -> 'a