knuckledragger
  • kdrag
    • Calc
    • Inductive()
    • Lemma
    • NewType()
    • Proof
    • QExists()
    • QForAll()
    • Struct()
    • axiom()
    • cond()
    • define()
    • prove()
    • search()
    • simp()
    • kdrag.all
    • kdrag.config
    • kdrag.datatype
    • kdrag.hypothesis
    • kdrag.kernel
    • kdrag.notation
    • kdrag.parsers
    • kdrag.printers
      • kdrag.printers.finsize
      • finsize()
      • kdrag.printers.c
        • kdrag.printers.c.c_of_expr
        • kdrag.printers.c.compile_and_link
        • kdrag.printers.c.compile_c
        • kdrag.printers.c.cstring
        • kdrag.printers.c.ctype_of_sort
        • kdrag.printers.c.is_valid_c_identifier
        • kdrag.printers.c.is_valid_c_identifier_strict
        • kdrag.printers.c.link
        • c_of_expr()
        • compile_and_link()
        • compile_c()
        • cstring()
        • ctype_of_sort()
        • is_valid_c_identifier()
        • is_valid_c_identifier_strict()
        • link()
      • kdrag.printers.lean
      • kdrag.printers.rust
    • kdrag.property
    • kdrag.reflect
    • kdrag.rewrite
    • kdrag.smt
    • kdrag.solvers
    • kdrag.tactics
    • kdrag.theories
    • kdrag.utils
knuckledragger
  • kdrag
  • kdrag.printers
  • kdrag.printers.c
  • kdrag.printers.c.compile_and_link
  • View page source

kdrag.printers.c.compile_and_link

kdrag.printers.c.compile_and_link(name, args, body)
Previous Next

© Copyright 2024, Philip Zucker.

Built with Sphinx using a theme provided by Read the Docs.