1 files changed, 12 insertions, 0 deletions
diff --git a/src/sexp/case.rs b/src/sexp/case.rs
index 4c2c7ba..cc643f3 100644
--- a/src/sexp/case.rs
+++ b/src/sexp/case.rs
@@ -52,6 +52,18 @@ impl SExp {
      *     ])
      * );
      * ```
+     *
+     * Coproducts must be handled individually:
+     * ```rust
+     * use myslip::r#type::Type::*;
+     * use myslip::sexp::{SExp::*, SLeaf::*, util::*};
+     *
+     * assert_eq!(
+     *     scons(Coprod, scons(Ty(Boolean), scons(2, Nil)))
+     *         .matches_pat(&scons(Inr, scons(var("x"), Nil))),
+     *     Some(vec![(Var("x".to_string()), Atom(Int(2)))])
+     * );
+     * ```
      */
     pub fn matches_pat(&self, pat: &SExp) -> Option<Vec<(SLeaf, SExp)>> {
 	match (self, pat) {