package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Checkct.Report`Source

Sourcetype t = {

memory : Binsec.Bitvector.t B.Map.t S.Map.t;
public : Binsec.Bitvector.t list S.Map.t;
secret1 : Binsec.Bitvector.t list S.Map.t;
secret2 : Binsec.Bitvector.t list S.Map.t;

}

Sourceval toml : t -> Toml.Types.table

Sourceval pp : Format.formatter -> t -> unit