A C language support library for BAP
IN THIS PACKAGE
val id : 'a -> ( 'a, 'e ) t
id x a monadic identity function
val nothing : unit -> ( unit, 'e ) t
nothing is a computation that does nothing.
non f returns a negation of the function
apply_n_times ~n f creates a chaing of computation of size
n made from applications of the same function to its own result.