bap-c

A C language support library for BAP
IN THIS PACKAGE
Module Bap_c_type_mapper . Make . M . Pair
val fst : ( 'a * 'b, 'e ) t -> ( 'a, 'e ) t

fst (x,y) computes x

val snd : ( 'a * 'b, 'e ) t -> ( 'b, 'e ) t

snd (x,y) computes y