package coq

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module DeclareSchemeSource

Sourceval declare_scheme : string -> (Names.inductive * Names.Constant.t) array -> unit
Sourceval lookup_scheme : string -> Names.inductive -> Names.Constant.t
Sourceval all_schemes : unit -> Names.Indset.t
OCaml

Innovation. Community. Security.