package coq

You can search for identifiers within the package.

in-package search v0.2.0

Module `ComProgramFixpoint`Source

val do_fixpoint : 
  pm:Declare.OblState.t ->
  scope:Locality.locality ->
  poly:bool ->
  ?typing_flags:Declarations.typing_flags ->
  ?using:Vernacexpr.section_subset_expr ->
  Vernacexpr.fixpoint_expr list ->
  Declare.OblState.t

Special Fixpoint handling when command is activated.

Source

val do_cofixpoint : 
  pm:Declare.OblState.t ->
  scope:Locality.locality ->
  poly:bool ->
  ?using:Vernacexpr.section_subset_expr ->
  Vernacexpr.cofixpoint_expr list ->
  Declare.OblState.t

package coq

Module ComProgramFixpointSource

Module `ComProgramFixpoint`Source