package bap-veri

  1. Overview
  2. Docs
package bap-veri
Legend:
Library
Module
Module type
Parameter
Class
Class type

absolute counts

type t = stat -> int
val successed : t
val abs_successed : t
val misexecuted : t
val abs_misexecuted : t
val overloaded : t
val damaged : t
val undisasmed : t
val mislifted : t
val total : t