package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `Ppconstr.CompactedDecl`Source

Sourcetype t =

Sourceval of_named_decl : Environ.var_status option -> EConstr.named_declaration -> t

val to_tuple : 
  t ->
  Names.Id.t EConstr.binder_annot list * EConstr.constr option * EConstr.types