• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Testing-utilities
    • Math
      • Arithmetic
        • Lispfloat
        • Arithmetic-1
          • Inequalities-of-products
          • Basic-product-normalization
          • Inequalities-of-reciprocals
          • Arithmetic/natp-posp
          • Basic-expt-normalization
          • More-rational-identities
          • Inequalities-of-exponents
          • Basic-sum-normalization
          • Basic-rational-identities
          • Basic-expt-type-rules
          • Inequalities-of-sums
          • Basic-products-with-negations
          • Fc
          • Number-theory
          • Proof-by-arith
          • Arith-equivs
          • Number-theory
          • Arithmetic-3
          • Arithmetic-2
          • Arithmetic-light
          • Arithmetic-5
        • Bit-vectors
        • Algebra
    • Arithmetic-1

    Fc

    Identity macro — does nothing, you can safely ignore this.

    (fc x) just expands to x. This macro is a historic artifact that was originally used in the arithmetic library as a way to experiment with using force.

    Macro: fc

    (defmacro fc (x) x)