Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bap-traces
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
hardware exception
type t = {number : int;(*an exception number
*)src : Bap.Std.addr option;(*a source address
*)dst : Bap.Std.addr option;(*a destination address
*)
}include sig ... end
val t_of_sexp : Sexplib.Sexp.t -> tval sexp_of_t : t -> Sexplib.Sexp.tval dst : t -> Bap.Std.addr optionval src : t -> Bap.Std.addr optionval number : t -> intmodule Fields : sig ... endval bin_t : t Core_kernel.Std.Bin_prot.Type_class.tval bin_read_t : t Core_kernel.Std.Bin_prot.Read.readerval __bin_read_t__ : (int -> t) Core_kernel.Std.Bin_prot.Read.readerval bin_reader_t : t Core_kernel.Std.Bin_prot.Type_class.readerval bin_size_t : t Core_kernel.Std.Bin_prot.Size.sizerval bin_write_t : t Core_kernel.Std.Bin_prot.Write.writerval bin_writer_t : t Core_kernel.Std.Bin_prot.Type_class.writer