src/cminor/cminorInterpret.mli

   1 (** This module provides a function to interpret a [Cminor] program and
   2     return the trace of cost labels encountered. This function can
   3     also print debug informations.  *)
   4
   5 module Eval_op (M : Memory.S) : sig
   6   val concrete_stacksize : AST.abstract_size -> int
   7   val cst :
   8     'a M.memory -> M.Value.address -> AST.sig_type -> AST.cst -> M.Value.t
   9   val op1 :
  10     AST.sig_type (* returned type *) -> AST.sig_type -> AST.op1 -> M.Value.t ->
  11     M.Value.t
  12   val op2 :
  13     AST.sig_type (* returned type *) -> AST.sig_type -> AST.sig_type ->
  14     AST.op2 -> M.Value.t -> M.Value.t -> M.Value.t
  15 end
  16
  17 val interpret : bool -> Cminor.program -> AST.trace