package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Val : sig ... end

val val_tag : 'a Genarg.typed_abstract_argument_type -> 'a Val.tag

val register_val0 : 
  ('raw, 'glb, 'top) Genarg.genarg_type ->
  'top Val.tag option ->
  unit

module TacStore : Store.S

type interp_sign = {

}

type (!'glb, 'top) interp_fun = interp_sign -> 'glb -> 'top Ftactic.t

val interp : ('raw, 'glb, 'top) Genarg.genarg_type -> ('glb, Val.t) interp_fun

val register_interp0 : 
  ('raw, 'glb, 'top) Genarg.genarg_type ->
  ('glb, Val.t) interp_fun ->
  unit