``` ucm scratch/main> builtins.merge Done. ``` ``` unison double : Int -> Int double x = x + x redouble : Int -> Int redouble x = double x + double x ``` ``` ucm Loading changes detected in scratch.u. I found and typechecked these definitions in scratch.u. If you do an `add` or `update`, here's how your codebase would change: ⍟ These new definitions are ok to `add`: double : Int -> Int redouble : Int -> Int ``` ``` ucm scratch/main> add ⍟ I've added these definitions: double : Int -> Int redouble : Int -> Int scratch/main> dependents double Dependents of: double Terms: 1. redouble Tip: Try `view 1` to see the source of any numbered item in the above list. scratch/main> delete.term 1 Done. ```