fact: Definition CompositionDepth (n: nat) := S n.
imports: Fiat.Common.Coq__8_4__8_5__Compat Fiat.CertifiedExtraction.Extraction.BinEncoders.Basics Fiat.CertifiedExtraction.Extraction.BinEncoders.Wrappers Fiat.CertifiedExtraction.Extraction.BinEncoders.Properties Fiat.CertifiedExtraction.Extraction.BinEncoders.CallRules.CallRules Fiat.CertifiedExtraction.Extraction.BinEncoders.RewriteRules Coq.Lists.List