add file docs

src/aleo_program/constraints/boolean.rs

@@ -1,3 +1,9 @@
+//! Methods to enforce constraints on booleans in a resolved aleo program.
+//!
+//! @file boolean.rs
+//! @author Collin Chin <collin@aleo.org>
+//! @date 2020
+
 use crate::aleo_program::constraints::{new_scope_from_variable, ResolvedProgram, ResolvedValue};
 use crate::aleo_program::{BooleanExpression, BooleanSpreadOrExpression, Variable};
 

src/aleo_program/constraints/constraints.rs

@@ -1,3 +1,9 @@
+//! Methods to enforce constraints a resolved aleo program.
+//!
+//! @file constraints.rs
+//! @author Collin Chin <collin@aleo.org>
+//! @date 2020
+
 use crate::aleo_program::constraints::{new_scope_from_variable, ResolvedProgram, ResolvedValue};
 use crate::aleo_program::{Expression, Function, Import, Program, Statement, Type};
 use crate::ast;

src/aleo_program/constraints/expression.rs

@@ -1,3 +1,9 @@
+//! Methods to enforce constraints on expressions in a resolved aleo program.
+//!
+//! @file expression.rs
+//! @author Collin Chin <collin@aleo.org>
+//! @date 2020
+
 use crate::aleo_program::constraints::{new_scope_from_variable, ResolvedProgram, ResolvedValue};
 use crate::aleo_program::{
     Expression, IntegerExpression, IntegerRangeOrExpression, StructMember, Variable,

src/aleo_program/constraints/field_element.rs

@@ -1,3 +1,9 @@
+//! Methods to enforce constraints on field elements in a resolved aleo program.
+//!
+//! @file field_element.rs
+//! @author Collin Chin <collin@aleo.org>
+//! @date 2020
+
 use crate::aleo_program::constraints::{new_scope_from_variable, ResolvedProgram, ResolvedValue};
 use crate::aleo_program::{FieldExpression, FieldSpreadOrExpression, Variable};
 

src/aleo_program/constraints/integer.rs

@@ -1,3 +1,9 @@
+//! Methods to enforce constraints on integers in a resolved aleo program.
+//!
+//! @file integer.rs
+//! @author Collin Chin <collin@aleo.org>
+//! @date 2020
+
 use crate::aleo_program::constraints::{new_scope_from_variable, ResolvedProgram, ResolvedValue};
 use crate::aleo_program::{Integer, IntegerExpression, IntegerSpreadOrExpression, Variable};
 

src/aleo_program/constraints/resolved_program.rs

@@ -1,3 +1,9 @@
+//! An in memory store to keep track of defined names when constraining an aleo program.
+//!
+//! @file resolved_program.rs
+//! @author Collin Chin <collin@aleo.org>
+//! @date 2020
+
 use crate::aleo_program::constraints::ResolvedValue;
 use crate::aleo_program::types::Variable;
 

src/aleo_program/constraints/resolved_value.rs

@@ -1,3 +1,9 @@
+//! The in memory stored value for a defined name in a resolved aleo program.
+//!
+//! @file resolved_value.rs
+//! @author Collin Chin <collin@aleo.org>
+//! @date 2020
+
 use crate::aleo_program::types::{Function, Struct, StructMember, Variable};
 
 use snarkos_models::curves::{Field, PrimeField};

src/aleo_program/constraints/statement.rs

@@ -1,3 +1,9 @@
+//! Methods to enforce constraints on statements in a resolved aleo program.
+//!
+//! @file statement.rs
+//! @author Collin Chin <collin@aleo.org>
+//! @date 2020
+
 use crate::aleo_program::constraints::{new_scope_from_variable, ResolvedProgram, ResolvedValue};
 use crate::aleo_program::{
     Assignee, Expression, IntegerExpression, IntegerRangeOrExpression, Statement, Variable,