Module `Kindops`

Operations about types defined in Decl_kinds

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