eval.mli

open Format
open Support.Pervasive
open Support.Error
open Syntax
open Arg 

val eval                : context -> term -> term 
val process_command     : context -> command -> context 
val process_commands    : context -> command list -> context