Up – Package index » coq » Library coq-core.vernac » Vernacextend » OutProg

Module `Vernacextend.OutProg`Source

Sourcetype _ t =

val cast : 
  'a ->
  'a t ->
  Declare.OblState.t NeList.t ->
  Declare.OblState.t NeList.t