• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
      • Sv
      • Vwsim
      • Fgl
      • Vl
        • Syntax
        • Loader
        • Warnings
        • Getting-started
        • Utilities
        • Printer
        • Kit
        • Mlib
          • Scopestack
          • Hid-tools
          • Filtering-by-name
          • Vl-interface-mocktype
            • Vl-vardecllist-mockmembers
            • Vl-vardecl-mockmember
            • Vl-interfacename-mocktype
            • Vl-modinst-interface-mockmember
            • Vl-interfaceport-mockmember
            • Vl-generate-interface-mockmember
            • Vl-genblock-interface-mockmember
            • Vl-genblob-interface-mocktype
            • Vl-modinstlist-interface-mockmembers
            • Vl-interfaceportlist-mockmembers
            • Vl-generatelist-interface-mockmembers
            • Vl-genblocklist-interface-mockmembers
            • Stripping-functions
            • Genblob
            • Expr-tools
            • Extract-vl-types
            • Hierarchy
            • Range-tools
            • Finding-by-name
            • Stmt-tools
            • Modnamespace
            • Flat-warnings
            • Reordering-by-name
            • Datatype-tools
            • Syscalls
            • Allexprs
            • Lvalues
            • Port-tools
          • Transforms
        • X86isa
        • Svl
        • Rtl
      • Software-verification
      • Math
      • Testing-utilities
    • Vl-interface-mocktype

    Vl-genblocklist-interface-mockmembers

    Signature
    (vl-genblocklist-interface-mockmembers 
     x ss &key (reclimit 'reclimit)) 
 
  → 
(mv err members)
    Arguments
    x — Guard (vl-genblocklist-p x).
    ss — Guard (vl-scopestack-p ss).
    reclimit — Guard (natp reclimit).
    Returns
    err — Type (iff (vl-msg-p err) err).
    members — Type (vl-structmemberlist-p members).