fact: Definition AddRule (priority : nat) (destination : list nat) (policy : Policy Protocol) (action : bool) (r : ComputationalADT.cRep ClassifierImpl) : ComputationalADT.cRep ClassifierImpl * bool := Eval simpl in CallMethod ClassifierImpl AddRuleS r {|prim_fst := priority; prim_snd := {| prim_fst := destination; prim_snd := {| prim_fst := policy; prim_snd := {| prim_fst := action; prim_snd := tt |} |} |} |}.
imports: Coq.Bool.Bool Coq.Strings.String Fiat.Common.String_as_OT Coq.Structures.OrderedTypeEx Coq.extraction.ExtrOcamlBasic Coq.extraction.ExtrOcamlNatInt Coq.extraction.ExtrOcamlZInt Coq.extraction.ExtrOcamlString Fiat.QueryStructure.Automation.MasterPlan Fiat.Examples.QueryStructure.ClassifierUnOpt