你即將離開本站

並前往http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.13.7819&rep=rep1&type=pdf

Typed ACL2 Records - CiteSeerX

We introduce the macro defrecord to define accesser and updater functions for a record structure with elements of a particular type.

確定！ 回上一頁

查詢 「defrecord」的人也找了：

  1. defrecord elixir
    2.
  2. clojurescript defrecord
    3.
  3. clojure deftype vs defrecord
    4.
  4. Clojure Java interop
    5.
  5. Clojure array
    6.
  6. Clojure reify
    7.
  7. defprotocol
    8.
  8. clojure java annotations
    9.