你即將離開本站

並前往https://coq.inria.fr/refman/language/extensions/implicit-arguments.html

Implicit arguments — Coq 8.17.0 documentation

An implicit argument is said to be strict if, whatever the other arguments of the function are, it is still inferable from the type of some other argument.

確定！ 回上一頁

查詢 「Type of argument」的人也找了：

  1. Key arguments examples
    2.
  2. Types of argumentative essay
    3.
  3. Argument
    4.
  4. Argument argumentation
    5.
  5. Bad argument
    6.
  6. Inductive argument
    7.
  7. Logical argument
    8.
  8. Are all valid arguments good arguments
    9.