bap-c

A C language support library for BAP
IN THIS PACKAGE
val fst : ( 'a * 'b * 'c, 'e ) t -> ( 'a, 'e ) t

fst (x,y,z) computes x

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

snd (x,y,z computes y

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

trd (x,y,z) computes z