package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type state = Logic_monad.Logical(P).Unsafe.state = {

}

val make : ('a, state, state, Exninfo.iexn) Logic_monad.BackState.t -> 'a t

val repr : 'a t -> ('a, state, state, Exninfo.iexn) Logic_monad.BackState.t