• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Debugging
    • Projects
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
      • Sv
      • Vwsim
      • Fgl
      • Vl
      • X86isa
      • Svl
        • Svex-simplify
          • Svexlist-simplify
          • 4vec-to-svex
            • 4vec-to-svex-lst
          • Svl-flatten-design
          • Svl-run
          • Svl-run->svex-alist
        • Rtl
      • Software-verification
      • Testing-utilities
      • Math
    • 4vec-to-svex

    4vec-to-svex-lst

    Signature
    (4vec-to-svex-lst lst svexl-node-flg memoize-flg) 
  → 
(mv err res-lst)