fact: Definition deghost (net : @network _ refined_multi_params) : (@network _ multi_params).
imports: Coq(List) StructTact(StructTactics Util) Verdi(Net TotalMapSimulations) Coq(FunctionalExtensionality) Verdi(Ssrexport)