module Basic_alloc: sig
.. end
val valid_size : ?loc:Cil_types.location ->
Cil_types.typ -> Cil_types.term -> Cil_types.identified_predicate
val is_allocable : ?loc:Cil_types.location -> Cil_types.term -> Cil_types.identified_predicate
val isnt_allocable : ?loc:Cil_types.location -> Cil_types.term -> Cil_types.identified_predicate
val assigns_result : ?loc:Cil_types.location ->
Cil_types.typ -> Cil_types.term list -> Cil_types.from
val assigns_heap : Cil_types.term list -> Cil_types.from
val allocates_nothing : unit -> Cil_types.allocation
val allocates_result : ?loc:Cil_types.location -> Cil_types.typ -> Cil_types.allocation
val fresh_result : ?loc:Cil_types.location ->
Cil_types.typ -> Cil_types.term -> Cil_types.identified_predicate
val null_result : ?loc:Cil_types.location -> Cil_types.typ -> Cil_types.identified_predicate