Module `ComProgramFixpoint`

Special Fixpoint handling when command is activated.

val do_fixpoint : Decl_kinds.locality -> Decl_kinds.polymorphic -> (Vernacexpr.fixpoint_expr * Vernacexpr.decl_notation list) list -> unit
val do_cofixpoint : Decl_kinds.locality -> Decl_kinds.polymorphic -> (Vernacexpr.cofixpoint_expr * Vernacexpr.decl_notation list) list -> unit