你即將離開本站

並前往https://arend-lang.github.io/documentation/language-reference/definitions/data.html

Inductive types - Arend Theorem Prover

This definition is equivalent to the previous one. Constructor synonyms. A constructor synonym is a function defined with keyword \ ...

確定！ 回上一頁

查詢 「Induct synonym」的人也找了：

  1. Install synonym
    2.
  2. inducted meaning
    3.
  3. Reservoir synonym
    4.
  4. inducted into
    5.
  5. Induce synonym
    6.
  6. Introduce synonym
    7.
  7. Inaugurate synonym
    8.
  8. Productive synonym
    9.