Module type From_register.Values_To_Use_Sig


module type Values_To_Use_Sig = sig .. end

val lval_to_loc_with_deps : (Cil_types.kinstr ->
with_alarms:CilE.warn_mode ->
deps:Locations.Zone.t ->
Cil_types.lval -> Locations.Zone.t * Locations.location)
Pervasives.ref
val expr_to_kernel_function : (Cil_types.kinstr ->
with_alarms:CilE.warn_mode ->
deps:Locations.Zone.t option ->
Cil_types.exp -> Locations.Zone.t * Kernel_function.Set.t)
Pervasives.ref
val get_state : Cil_types.kinstr -> Db.Value.state
val access_expr : (Cil_types.kinstr -> Cil_types.exp -> Db.Value.t) Pervasives.ref