Module type Build_semantic_equations.Conv
val loc_of_var : env -> Frama_c_kernel.Cil_types.varinfo -> L.binary
val continuation_of_stmt :
env ->
Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Cil_types.stmt ->
L.continuation
val register_alarm :
Frama_c_kernel.Alarms.alarm ->
Frama_c_kernel.Cil_types.location ->
L.boolean ->
unit L.m
val register_lvalue : Frama_c_kernel.Cil_types.lval -> L.binary -> unit L.m
val register_expression : Frama_c_kernel.Cil_types.exp -> L.binary -> unit L.m
val register_boolean_expression :
Frama_c_kernel.Cil_types.exp ->
L.boolean ->
unit L.m