bap-c

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

nullary x lifts x (a synonym to return)

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

unary f lifts f

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

binary f lifts f

val ternary : ( 'a -> 'b -> 'c -> 'd ) -> ( 'a, 'e ) t -> ( 'b, 'e ) t -> ( 'c, 'e ) t -> ( 'd, 'e ) t

ternary f lifts f

val quaternary : ( 'a -> 'b -> 'c -> 'd -> 'e ) -> ( 'a, 's ) t -> ( 'b, 's ) t -> ( 'c, 's ) t -> ( 'd, 's ) t -> ( 'e, 's ) t

quaternary f lifts f

val quinary : ( 'a -> 'b -> 'c -> 'd -> 'e -> 'f ) -> ( 'a, 's ) t -> ( 'b, 's ) t -> ( 'c, 's ) t -> ( 'd, 's ) t -> ( 'e, 's ) t -> ( 'f, 's ) t

quinary f lifts f