path: root/src/test/test2.sail

function nat id ( n ) = n

function nat effect pure main _ = {
  id(42);
}