package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Translation functions from BINSEC inner representation to SMT-LIB terms

val bl_term : Formula.bl_term -> Smtlib.term
val bv_term : Formula.bv_term -> Smtlib.term
val ax_term : Formula.ax_term -> Smtlib.term