package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type _ t =
  1. | Ignore : unit t
  2. | Use : Declare.OblState.t t
val cast : Declare.OblState.t -> 'a t -> 'a