LLVM M.D.Source codeContentsIndex
MD.GenerateSmt
MaintainerJean-Baptiste Tristan <tristan@seas.harvard.edu>
Description
This module implements generation of SMT-LIB scripts.
Documentation
script :: Term -> Term -> StringSource
Produced by Haddock version 2.6.0