anchor.diff:  ﻿module IR
   
  -open CGraph
  -open Common.Error
  -
  -type CounterExample = 
  -    | NoPathForRouters of Set<string>
  -    | InconsistentPrefs of CgState * CgState
  -    | UncontrollableEnter of string
  -    | UncontrollablePeerPreference of string
   
   type Match = 
       | Peer of string 
  
positive.code:     {Originates: bool;
       Filters: Filter list}
  
  type PredConfig = Predicate.T * Map<string, DeviceConfig>
  
  type AggregationSafetyResult = (int * string * string * Prefix.T * Prefix.T) option
  
  type PrefixResult =
      {K: AggregationSafetyResult;
       BuildTime: int64;
       MinimizeTime: int64;
       OrderingTime: int64;
       ConfigTime: int64;
       CompressSizeInit: int;
       CompressSizeFinal: int;
       Config: PredConfig}
  
  type CompileResult = Result<PrefixResult, CounterExample>
  
  /// Result from compiling the entire policy
  
  
negative.code: /// Debug config output
  val format: T -> string
  
  type Stats = 
      {NumPrefixes: int;
       SizeRaw: int;
  