Fix example that was throwing an error

This commit is contained in:
microproofs
2024-08-07 16:01:38 -04:00
committed by Kasey
parent 0800901135
commit 31627897d7

View File

@@ -536,6 +536,8 @@ impl Term<Name> {
/// ## Example
///
/// ```
/// let value = Term::var("thing");
///
/// value.as_var("__val", |val| {
/// val.do_something()
/// .do_another_thing()