package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type discharged_hyps = Libnames.full_path list
val set_discharged_hyps : Libnames.full_path -> discharged_hyps -> unit
val get_discharged_hyps : Libnames.full_path -> discharged_hyps
OCaml

Innovation. Community. Security.