Added minimal external API, faciliating the development of tools using EasyCrypt as a library. The changes are limited to ecScope.{ml,mli} and ecCommands.{ml,mli} are are labeled "external API" as otherwise they might be removed as dead code. (Based on the API developed at part of the UC DSL implementation, but names have been made generic.)
Added minimal external API, faciliating the development of tools using EasyCrypt as a library. The changes are limited to ecScope.{ml,mli} and ecCommands.{ml,mli} are are labeled "external API" as otherwise they might be removed as dead code. (Based on the API developed at part of the UC DSL implementation, but names have been made generic.)