• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
      • Sv
      • Fgl
      • Vwsim
      • Vl
        • Syntax
        • Loader
        • Warnings
        • Getting-started
        • Utilities
        • Printer
          • Ps
          • Verilog-printing
            • Vl-pp-expr
              • Vl-pp-valuerangelist
              • Vl-pp-valuerange
              • Vl-pp-structmemberlist
              • Vl-pp-structmember
              • Vl-pp-streamexprlist
              • Vl-pp-streamexpr
              • Vl-pp-scopeexpr
              • Vl-pp-range
              • Vl-pp-plusminus
              • Vl-pp-patternkey
              • Vl-pp-partselect
              • Vl-pp-maybe-exprlist
              • Vl-pp-keyvallist
              • Vl-pp-indexlist
              • Vl-pp-hidindex
              • Vl-pp-hidexpr
              • Vl-pp-exprlist
              • Vl-pp-evatomlist
              • Vl-pp-evatom
              • Vl-pp-enumitemlist
              • Vl-pp-enumitem
              • Vl-pp-dimensionlist
              • Vl-pp-dimension
                • Vl-pp-datatype
                • Vl-pp-casttype
                • Vl-pp-call-namedargs
                • Vl-pp-atts-aux
                • Vl-pp-atts
                • Vl-pp-assignpat
                • Vl-pp-arrayrange
              • Vl-fmt
              • Vl-progindent
              • Vl-ppc-module
              • Vl-mimic-linestart
              • Vl-maybe-escape-identifier
              • Vl-print-ext-wirename
              • Vl-print-wirename
              • Vl-print-loc
              • Vl-pp-module
              • Vl-pp-describe
              • Vl-print-modname
              • Vl-pp-genblob-guts
              • Vl-pp-origexpr
              • Vl-pp-modinst
              • Vl-pps-module
              • Vl-ppc-modulelist
              • Vl-pp-interface
              • Vl-maybe-strip-outer-linestart
              • Vl-pps-expr
              • Vl-pp-modulename-link
              • Vl-binaryop-precedence
              • Vl-pp-genblob
              • Vl-ppcs-module
              • Vl-pp-paramdecl
              • Vl-pp-package
              • Vl-pp-modulename-link-aux
              • Vl-pp-modelement
              • Vl-pp-interfacelist
              • Vl-pp-bind
              • Vl-pp-arguments
              • Vl-ps-update-mimic-linebreaks
              • Vl-pp-vardecl-aux
              • Vl-pp-repetition
              • Vl-pp-packagelist
              • Vl-pp-modulelist
              • Vl-pp-modinstlist
              • Vl-pp-definition-scope-summary
              • Vl-pp-bindlist
              • Vl-maybe-escape-string
              • Vl-ps-update-show-atts
              • Vl-pps-modulelist
              • Vl-ppcs-modulelist
              • Vl-pp-portdecl
              • Vl-pp-ansi-portdecl
              • Vl-cw-obj
              • Vl-ps-update-copious-parens
              • Vl-pps-origexpr
              • Vl-pp-vardecl-atts-begin
              • Vl-pp-propport
              • Vl-pp-gateinst-atts-begin
              • Vl-pp-gatedelay
              • Vl-pp-foreachstmt-loopvars
              • Vl-pp-dpiimport
              • Vl-pp-clkdecl
              • Vl-gatetype-string
              • Vl-coretypename-string
              • Vl-atts-find-paramname
              • Vl-randomqualifier-string
              • Vl-ps-update-use-origexprs
              • Vl-pp-vardecl-atts-end
              • Vl-pp-taskdecl
              • Vl-pp-scope-summary
              • Vl-pp-namedparamvaluelist
              • Vl-pp-modinst-atts-begin
              • Vl-pp-gatestrength
              • Vl-pp-gateinst
              • Vl-pp-fundecl
              • Vl-nettypename-string
              • Vl-fwdtypedefkind-string
              • Vl-expr-precedence
              • Vl-distweighttype-string
              • Vl-assertdeferral-string
              • Vl-pp-vardecllist-comma-separated
              • Vl-pp-repeateventcontrol
              • Vl-pp-regularport
              • Vl-pp-plainarglist
              • Vl-pp-plainarg
              • Vl-pp-paramvaluelist
              • Vl-pp-namedarglist
              • Vl-pp-modport-port
              • Vl-pp-interfaceport
              • Vl-pp-forloop-assigns
              • Vl-pp-exprdistlist-with-commas
              • Vl-pp-dpiexport
              • Vl-pp-distitem
              • Vl-pp-design
              • Vl-pp-delayoreventcontrol
              • Vl-pp-assign
              • Vl-blocktype-startstring
              • Vl-blocktype-endstring
              • Vl-asserttype-string
              • Vl-alwaystype-string
              • Vl-pp-vardecllist-indented
              • Vl-pp-typedeflist-indented
              • Vl-pp-typedef
              • Vl-pp-set-portnames
              • Vl-pp-sequence
              • Vl-pp-scopetype
              • Vl-pp-regularportlist
              • Vl-pp-propspec
              • Vl-pp-property
              • Vl-pp-paramdecllist-indented
              • Vl-pp-namedparamvalue
              • Vl-pp-namedarg
              • Vl-pp-modport-portlist
              • Vl-pp-interfaceportlist
              • Vl-pp-delaycontrol
              • Vl-pp-defaultdisablelist
              • Vl-pp-defaultdisable
              • Vl-pp-covergroup
              • Vl-pp-constint
              • Vl-pp-clkskew
              • Vl-pp-clkassign
              • Vl-leftright-string
              • Vl-direction-string
              • Vl-cstrength-string
              • Vl-casetype-string
              • Vl-casecheck-string
              • Vl-pp-taskdecllist
              • Vl-pp-specialkey
              • Vl-pp-scopename
              • Vl-pp-rhs
              • Vl-pp-propportlist
              • Vl-pp-program
              • Vl-pp-paramdecllist
              • Vl-pp-paramargs
              • Vl-pp-modelementlist
              • Vl-pp-importlist-indented
              • Vl-pp-import
              • Vl-pp-gclkdecl
              • Vl-pp-fwdtypedeflist
              • Vl-pp-fwdtypedef
              • Vl-pp-exprdist
              • Vl-pp-eventcontrol
              • Vl-pp-dpiimportlist
              • Vl-pp-dpiexportlist
              • Vl-pp-covergrouplist
              • Vl-pp-clkassignlist
              • Vl-pp-class
              • Vl-pp-cassertionlist
              • Vl-pp-assertionlist
              • Vl-pp-alias
              • Vl-vardecl-hiddenp
              • Vl-pps-range
              • Vl-pp-weirdint
              • Vl-pp-vardecllist
              • Vl-pp-value
              • Vl-pp-udp
              • Vl-pp-typedeflist
              • Vl-pp-string
              • Vl-pp-sequencelist
              • Vl-pp-rangelist
              • Vl-pp-propertylist
              • Vl-pp-programlist
              • Vl-pp-portlist
              • Vl-pp-portdecllist
              • Vl-pp-paramvalue
              • Vl-pp-modport
              • Vl-pp-lifetime
              • Vl-pp-initiallist
              • Vl-pp-initial
              • Vl-pp-importlist
              • Vl-pp-genvar
              • Vl-pp-gclkdecllist
              • Vl-pp-gateinstlist
              • Vl-pp-fundecllist
              • Vl-pp-finallist
              • Vl-pp-extint
              • Vl-pp-elabtasklist
              • Vl-pp-distlist
              • Vl-pp-configlist
              • Vl-pp-config
              • Vl-pp-clkdecllist
              • Vl-pp-classlist
              • Vl-pp-assignlist
              • Vl-pp-alwayslist
              • Vl-pp-always
              • Vl-pp-vardecl
              • Vl-pp-udplist
              • Vl-pp-time
              • Vl-pp-real
              • Vl-pp-port
              • Vl-pp-final
              • Vl-pp-elabtask
              • Vl-lifetime-string
              • Vl-expr-dollarsign-p
              • Vl-dpispec->string
              • Vl-dpiprop->string
              • Vl-dpifntask->string
              • Vl-ps->copious-parens-p
              • Vl-ps->show-atts-p
              • Vl-ps->mimic-linebreaks-p
              • Vl-ps->use-origexprs-p
              • Vl-progindent-block-start
              • Vl-progindent-block-end
              • Vl-cw
            • Basic-printing
            • Printing-locally
            • Formatted-printing
            • Accessing-printed-output
            • Json-printing
            • Vl-printedlist
          • Kit
          • Mlib
          • Transforms
        • X86isa
        • Svl
        • Rtl
      • Software-verification
      • Math
      • Testing-utilities
    • Vl-pp-expr

    Vl-pp-dimension

    Signature
    (vl-pp-dimension x &key (ps 'ps)) → ps
    Arguments
    x — Guard (vl-dimension-p x).