package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val logical_kind_of_goal_kind : Decl_kinds.goal_object_kind -> Decl_kinds.logical_kind
val string_of_theorem_kind : Decl_kinds.theorem_kind -> string
val string_of_definition_object_kind : Decl_kinds.definition_object_kind -> string
OCaml

Innovation. Community. Security.