Como obter o hash de um termo no Unison

Exemplo:

add: Nat -> Nat -> Nat

add a b = a + b

  

test> add.test = check (add 3 4 == 7)

agic/main> names add

  Term
  Hash:   #aut6jgfc1j
  Names:  add
  
  Tip: Use `names.global` to see more results.

magic/main> names add.test

  Term
  Hash:   #aqun7f7hg9
  Names:  add.test
  
  Tip: Use `names.global` to see more results.

Mas antes acho que é preciso enviar os termos add e add.test para o repositório com o comando add do ucm.

Ao executar names sem argumento o ucm responde como abaixo:

magic/main> names

  `names foo` shows the hash and all known names for `foo`.

Unison MOC HowTo MOC