def METHOD_NAME(replication_extension_name: Optional[pulumi.Input[str]] = None,
                                     resource_group_name: Optional[pulumi.Input[str]] = None,
                                     vault_name: Optional[pulumi.Input[str]] = None,
                                     opts: Optional[pulumi.InvokeOptions] = None) -> pulumi.Output[GetReplicationExtensionResult]:
    """
    Gets the details of the replication extension.
    :param str replication_extension_name: The replication extension name.
    :param str resource_group_name: The name of the resource group. The name is case insensitive.
    :param str vault_name: The vault name.
    """
    ...