package bap-veri

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

instruction names

type t = stat -> string list
val successed : t
val abs_successed : t
val misexecuted : t
val abs_misexecuted : t
val mislifted : t