• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
      • Io
      • Defttag
      • Sys-call
      • Save-exec
      • Quicklisp
      • Oslib
      • Std/io
      • Bridge
        • Json-encoding
          • Json-encode-main
            • Json-encode-true-list
            • Json-encode-simple-alist
              • Json-encode-improper-cons-list
            • Json-encode-weird-char
            • Json-encode-atom
            • Json-encode
            • Json-encode-chars
            • Json-encode-char
            • Json-encode-str
            • Json-simple-alist-p
            • Json-comma-and-maybe-newline
          • Security
          • Command
          • In-main-thread
          • Message
          • Start
          • Bindings
          • Stop
          • Try-in-main-thread
        • Clex
        • Tshell
        • Unsound-eval
        • Hacker
        • ACL2s-interface
        • Startup-banner
        • Command-line
      • Hardware-verification
      • Software-verification
      • Math
      • Testing-utilities
    • Json-encode-main

    Json-encode-simple-alist

    Signature
    (json-encode-simple-alist x acc) → *
    Arguments
    x — Guard (json-simple-alist-p x).