namespace Microsoft.FSharp.Quotations
{
    [CompilationMapping(SourceConstructFlags.Module)]
    [CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)]
    public static class PatternsModule
    {
        [CompilationSourceName("|CallWithWitnesses|_|")]
        public static FSharpOption<Tuple<FSharpOption<FSharpExpr>, MethodInfo, MethodInfo, FSharpList<FSharpExpr>, FSharpList<FSharpExpr>>> CallWithWitnessesPattern(FSharpExpr input);
    }
}