diff --git a/docs/src/api.md b/docs/src/api.md
index 91fb335..1fdabbe 100644
--- a/docs/src/api.md
+++ b/docs/src/api.md
@@ -13,6 +13,8 @@ PBO.varshow
 ## Terms
 
 ```@docs
+PBO.AbstractTerm
+PBO.Term
 PBO.term
 PBO.term_head
 PBO.term_tail
@@ -65,10 +67,9 @@ PBO.infer_quadratization
 ```
 
 ```@docs
-PBO.INFER
-PBO.DEFAULT
 PBO.PTR_BG
 PBO.NTR_KZFD
+PBO.DEFAULT
 ```
 
 ## Synthesis
diff --git a/src/library/function/term.jl b/src/library/function/term.jl
index ae340d6..183e5fb 100644
--- a/src/library/function/term.jl
+++ b/src/library/function/term.jl
@@ -1,3 +1,8 @@
+@doc raw"""
+    Term{V}
+
+Reference implementation for [`AbstractTerm`](@ref).
+"""
 struct Term{V} <: AbstractTerm{V}
     ω::Vector{V}