contrib/extraction/TODO


1
2
3
4
5
6

 12. Ocaml typing => magic + cast.

 13. Managing huge extraction (constructive FTA).

 14. Extract Constant do not work under a section.