package bap-traces

  1. Overview
  2. Docs

Represent a movement of data

type 'a t = {
  1. cell : 'a;
    (*

    source or destination

    *)
  2. data : Bap.Std.word;
    (*

    moved data

    *)
}
OCaml

Innovation. Community. Security.