From a0ba4fb5f48c0a17b0f471c59877b78e1cfa0216 Mon Sep 17 00:00:00 2001
From: pedromxavier <pedromxavier@poli.ufrj.br>
Date: Sun, 29 Oct 2023 02:59:31 -0400
Subject: [PATCH] Fix docs

---
 docs/src/api.md              | 5 +++--
 src/library/function/term.jl | 5 +++++
 2 files changed, 8 insertions(+), 2 deletions(-)

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}