fact: Definition this (fr : t) : option Object := match ParamDict.get (params fr) paramThis with | Some (Ref loc) => Some loc | _ => None end.
imports: Coq(List) Coq(Relation_Operators) Coq(DecidableType) Coq(FSetInterface)