[klee-dev] structure definition in KLEE source code

[Dan Liew]

Look at Expr.h and Expr.cpp.

https://github.com/klee/klee/blob/master/include/klee/Expr.h
https://github.com/klee/klee/blob/master/lib/Expr/Expr.cpp

If you're looking at adding floating point support consider looking at
Peter Collingbourne's fork of KLEE (klee-fp/klee-cl) which extends
KLEE's expression language with support for floating point (amongst
other things).