sig
  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
end