1 files changed, 16 insertions, 0 deletions
diff --git a/src/sexp/step.rs b/src/sexp/step.rs
index c26dce9..8cc1e64 100644
--- a/src/sexp/step.rs
+++ b/src/sexp/step.rs
@@ -270,6 +270,22 @@ impl SExp {
     /// );
     /// ```
     ///
+    /// **Functions**
+    /// ```rust
+    /// use myslip::{sexp::{SExp::*, SLeaf::*, util::*}, r#type::{Type::*, util::*}};
+    ///
+    /// let varlist = scons(var("a"), scons(var("b"), Nil));
+    /// let typelist = scons(Ty(List(vec![Integer])), Nil);
+    /// let ret = Atom(Ty(Boolean));
+    /// let body = scons(Gt, varlist.clone());
+    /// let fun = scons(Fun, scons(varlist, scons(typelist, scons(ret, scons(body, Nil)))));
+    /// let args = scons(2, scons(1, Nil));
+    /// assert_eq!(
+    ///     scons(fun, scons(args, Nil)).multistep(),
+    ///     Ok(Atom(True))
+    /// );
+    /// ```
+    ///
     /// Shadowing:
     /// ```rust
     /// use myslip::sexp::{SExp::*, SLeaf::*, util::*};