path: root/lib/Eval.mli

val eval : env:Domain.env -> Syntax.t -> Domain.t
val inst_clo : Domain.clo -> Domain.t -> Domain.t