package coq-core

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Proofview.UnsafeReprSource

This module gives access to the innards of the monad. Its use is restricted to very specific cases.

OCaml

Innovation. Community. Security.