fact: Definition word_as_constant w : Expr := Const w.
imports: Bedrock.Memory Bedrock.Platform.Cito.StringMap Bedrock.Platform.Cito.StringMapFacts Bedrock.Platform.Cito.SyntaxExpr Bedrock.Platform.Cito.GLabelMap Bedrock.Platform.Facade.DFacade CertifiedExtraction.Core CertifiedExtraction.PureUtils CertifiedExtraction.FMapUtils CertifiedExtraction.StringMapUtils CertifiedExtraction.PureFacadeLemmas Coq.Strings.String CertifiedExtraction.FacadeWrappers