Module Bil.Theory

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