Add to-do note

This commit is contained in:
2020-05-11 03:54:32 +02:00
parent b5d049a82a
commit 2dff164d90

View File

@@ -118,6 +118,7 @@ where
Ok((scoped_formula, remaining_input))
}
// TODO: rename
fn variable_free_formula<'i, D>(input: &'i str, declarations: &D)
-> Result<(foliage::Formula, &'i str), crate::Error>
where