• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
      • Std/lists
      • Std/alists
      • Obags
      • Std/util
      • Std/strings
        • Pretty-printing
          • Pretty-printing-implementation
            • Missing-functionality
            • Printconfig
            • Cons-ppr1
            • Print-escaped-charlist
            • Atom-size
            • Print-escaped-str
            • Obj-size
            • Maybe-merge-flat
            • Ppr
            • Printer-instructions
              • Pinst
                • Pinst-case
                • Pinst-p
                • Pinst-special-term
                • Pinst-indent
                • Pinst-wide
                • Pinst-equiv
                • Pinst-keypair
                • Pinst-quote
                • Pinst-keyline
                  • Pinst-keyline->guts
                  • Make-pinst-keyline
                  • Change-pinst-keyline
                  • Pinst-flat
                  • Pinst-dot
                  • Pinst-kind
                  • Pinst-fix
                  • Pinst-count
                • Pflat
                • Pinstlist
              • Keyword-param-valuep
              • Print-flat-objs
              • Radix-print-int
              • Print-escaped-atom
              • Print-atom
              • Print-escaped-symbol
              • Radix-print-complex
              • Basic-print-complex
              • Radix-print-rat
              • Spaces1
              • Basic-print-rat
              • Basic-print-nat
              • Basic-print-int
              • Spaces
              • My-needs-slashes
              • Pinstlist->max-width
              • Nat-size
              • Special-term-num
              • Print-column
              • Print-base-fix
              • Int-size
              • Keyword-fix
              • Print-instruction
              • Pinst->width
              • In-home-package-p
              • Eviscerated->guts
              • Evisceratedp
              • Pprdot
            • Eviscerate
            • Pretty
            • Revappend-pretty
            • Pretty-list
          • Printtree
          • Base64
          • Charset-p
          • Strtok!
          • Cases
          • Concatenation
          • Html-encoding
          • Character-kinds
          • Substrings
          • Strtok
          • Equivalences
          • Url-encoding
          • Lines
          • Explode-implode-equalities
          • Ordering
          • Numbers
          • Pad-trim
          • Coercion
          • Std/strings/digit-to-char
          • Substitution
          • Symbols
        • Std/osets
        • Std/io
        • Std/basic
        • Std/system
        • Std/typed-lists
        • Std/bitsets
        • Std/testing
        • Std/typed-alists
        • Std/stobjs
      • Proof-automation
      • Macro-libraries
      • ACL2
      • Interfacing-tools
      • Hardware-verification
      • Software-verification
      • Math
      • Testing-utilities
    • Pinst-keyline

    Change-pinst-keyline

    Modifying constructor for pinst-keyline structures.

    Syntax
    (change-pinst-keyline x 
                          [:guts <guts>]) 
    

    This is an often useful alternative to make-pinst-keyline.

    We construct a new pinst-keyline structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

    Definition

    This is an ordinary change- macro introduced by fty::defprod.

    Macro: change-pinst-keyline

    (defmacro change-pinst-keyline (x &rest args)
      (std::change-aggregate 'pinst-keyline
                             x args '((:guts . pinst-keyline->guts))
                             'change-pinst-keyline
                             'remake-pinst-keyline))