Up – Package index » coq-lsp » Library coq-lsp.coq » Coq » Print

Module `Coq.Print`Source

val pr_letype_env : 
  goal_concl_style:bool ->
  Environ.env ->
  Evd.evar_map ->
  EConstr.t ->
  Pp.t Protect.E.t