From 18e8948ca12121e23801cf913bd232441a9e390a Mon Sep 17 00:00:00 2001
From: German Nikolishin <german.nikolishin@gmail.com>
Date: Wed, 27 Mar 2024 15:56:37 +0000
Subject: [PATCH] docs

---
 crates/verifier/src/ast.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/crates/verifier/src/ast.rs b/crates/verifier/src/ast.rs
index 5e85fba..7121e62 100644
--- a/crates/verifier/src/ast.rs
+++ b/crates/verifier/src/ast.rs
@@ -10,6 +10,7 @@ use z3::{
     Solver,
 };
 
+/// A declaration in the code AST.
 pub struct Declaration<'ctx> {
     /// Info about the declaration
     pub decl_sym: GlobalSymbol,
@@ -19,6 +20,7 @@ pub struct Declaration<'ctx> {
     pub block: ConstraintBlock<'ctx>,
 }
 
+/// A singular constraint.
 #[derive(Debug, Clone)]
 pub struct Constraint<'ctx> {
     /// Location of the constraint in the original code.
@@ -39,8 +41,7 @@ impl<'ctx> Constraint<'ctx> {
     }
 }
 
-// impl build_
-
+/// Block of constraints of to be verified.
 #[derive(Debug, Clone)]
 pub struct ConstraintBlock<'ctx> {
     /// Solver which is scoped to the specific constraint block.