==================
Primitive
==================

primitive
  primWord64ToNat : Word64 → Nat

---

(source_file
  (primitive
    (type_signature
      (field_name)
      (expr (atom (qid)) (expr (atom (qid)))))
  )
)
