fact: Definition isPivot (p : Program) (loc : Location) : bool := match loc with | Heap.InstanceField _ fsig => match findField p fsig with | Some f => fold_right (fun a b => orb (DATA_GROUP.isDynamic a) b) false (FIELD.dataGroups f) | _ => false end | _ => false end.
imports: Coq(List) Coq(Relation_Operators) Coq(DecidableType) Coq(FSetInterface)