module Value2acsl:sig
..end
val value_to_predicate_opt : ?loc:Cil_types.location ->
Cil_types.term -> Cvalue.V.t -> Cil_types.predicate option
val lval_to_predicate : ?loc:Cil_types.location ->
Cvalue.Model.t -> Cil_types.lval -> Cil_types.predicate option
val exp_to_predicate : ?loc:Cil_types.location ->
Cvalue.Model.t -> Cil_types.exp -> Cil_types.predicate option