package bap-std

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method eval_exp : exp -> ('r, 'a) Eval.T2(M).m
method eval_var : var -> ('r, 'a) Eval.T2(M).m
method eval_int : word -> ('r, 'a) Eval.T2(M).m
method eval_load : mem:exp -> addr:exp -> endian -> size -> ('r, 'a) Eval.T2(M).m
method eval_store : mem:exp -> addr:exp -> exp -> endian -> size -> ('r, 'a) Eval.T2(M).m
method eval_binop : binop -> exp -> exp -> ('r, 'a) Eval.T2(M).m
method eval_unop : unop -> exp -> ('r, 'a) Eval.T2(M).m
method eval_cast : cast -> int -> exp -> ('r, 'a) Eval.T2(M).m
method eval_let : var -> exp -> exp -> ('r, 'a) Eval.T2(M).m
method eval_ite : cond:exp -> yes:exp -> no:exp -> ('r, 'a) Eval.T2(M).m
method eval_concat : exp -> exp -> ('r, 'a) Eval.T2(M).m
method eval_extract : int -> int -> exp -> ('r, 'a) Eval.T2(M).m
method eval_unknown : string -> typ -> ('r, 'a) Eval.T2(M).m