package bap-std

  1. Overview
  2. Docs
package bap-std
Legend:
Library
Module
Module type
Parameter
Class
Class type

Core Theory specification of BIL.

parser the parser enables reflection of the bil statements into core theory terms. To reflect a bil program prog into the theory Theory, use

let module Parser = Theory.Parser.Make(Theory) in
Parser.run Bil.Theory.parser bil