Commits on Mar 4, 2022

1. fixes a bug in the KB update function, adds new functions …

   The bug was a typo in the merge function that was manifested with the
   `Failure "types are not equal"` exception.
   
   The new functions, are
   
   - `proceed ~until` as a dual to `guard`;
   - `Value.is_empty` that returns `true` if a value is empty
   - `Value.has` that checks if the specific property of the value is empty
   
   The change also ensures that empty properties are not stored in
   values (which also makes the `Value.is_empty` implementation trivial).

   

   ivg committed Mar 4, 2022
   Configuration menu

   • View commit details
   • Copy full SHA for d63529e
   • Browse repository at this point

   Copy the full SHA

   d63529e View commit details

   Browse the repository at this point in the history