Module type Build_semantic_equations.Conv

module L : Lang
type env
val loc_of_var : env -> Frama_c_kernel.Cil_types.varinfo -> L.binary
val loc_of_string : env -> string -> L.binary
val loc_of_wstring : env -> int64 list -> L.binary
val continuation_of_stmt : env -> Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Cil_types.stmt -> L.continuation
val return_continuation : env -> 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