Module M'.Monadic_Arity

type 'a m
val return : 'a -> 'a m
val return2 : 'a L.Monadic_Arity.m -> 'a m
val bind : 'a m -> ('a -> 'b m) -> 'b m
type 'r ar0 = 'r m
type ('a, 'r) ar1 = 'a -> 'r m
type ('a, 'b, 'r) ar2 = 'a -> 'b -> 'r m
type ('a, 'b, 'c, 'r) ar3 = 'a -> 'b -> 'c -> 'r m
type ('a, 'r) variadic = 'a list -> 'r m
val run : state -> 'a m -> ('a * state) L.Monadic_Arity.m
val register_alarm : (Frama_c_kernel.Alarms.alarm * Frama_c_kernel.Cil_types.location) -> L.boolean -> unit m
val register_lvalue : Frama_c_kernel.Cil_types.lval -> L.binary -> unit m
val register_expression : Frama_c_kernel.Cil_types.exp -> L.binary -> unit m
val register_boolean_expression : Frama_c_kernel.Cil_types.exp -> L.boolean -> unit m
val binary_unknown : size:int -> L.binary m
val load : size:int -> L.binary -> L.binary m