package bap-knowledge

  1. Overview
  2. Docs
include Element
type t

the type of the element

val name : t -> name

name elt is the fully qualified element name.

val desc : t -> string

desc elt is the text describing the element.

val requires : t -> Property.t list
val provides : t -> Property.t
val parameters : t -> string list list
val pp : Format.formatter -> t -> unit