// Test michelson insertion in CameLIGO

let michelson_add (n : nat * nat) : nat =
  [%Michelson ({| { UNPAIR;ADD } |} : nat * nat -> nat) ] n